work_ticket
Fix a GitHub issue by cloning a repo, applying a code change, running quality gates, and opening a pull request. Returns a run ID for background progress tracking.
Instructions
Start a dev run: clone , fix GitHub issue # with Claude (Sonnet), run the repo's quality gates, and open a PR. Returns a run_id immediately; the run continues in the background. Poll status(run_id) for progress.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | crunchtools repo name (e.g. "rotv"). | |
| issue | Yes | GitHub issue number to work. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||