Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →Use only when the user explicitly asks to stage, commit, push, and open a GitHub pull request in one flow using the GitHub CLI (`gh`).
| Test case | Without → With | Effect | Δ tokens | Δ turns |
|---|---|---|---|---|
| case-07 | ✗→✓ | ▲ Improved | -39% | 0% |
| case-08 | ✗→✓ | ▲ Improved | -40% | 0% |
| case-09 | ✗→✓ | ▲ Improved | 35% | 0% |
| case-10 | ✗→✓ | ▲ Improved | -29% | 0% |
| case-16 | ✗→✓ | ▲ Improved | 26% | 0% |
gh. Check gh --version. If missing, ask the user to install gh and stop.gh session. Run gh auth status. If not authenticated, ask the user to run gh auth login (and re-run gh auth status) before continuing.codex/{description} when starting from main/master/default.{description} (terse).[codex] {description} summarizing the full diff.git checkout -b "codex/{description}"git status -sb then git add -A.git commit -m "{description}"git push -u origin $(git branch --show-current)GH_PROMPT_DISABLED=1 GIT_TERMINAL_PROMPT=0 gh pr create --draft --fill --head $(git branch --show-current)Other measured skills in the registry, with their headline benchmark lift.