ワンクリックで
fix-pr
Use when a PR has review comments to address, CI failures to fix, or codecov coverage gaps to resolve
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
Use when a PR has review comments to address, CI failures to fix, or codecov coverage gaps to resolve
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Use when you want to take a Backlog issue all the way to Final review without manual orchestration — chains check-issue, fix-issue, add-model/add-rule, run-pipeline, and review-pipeline; substantive issue-quality problems are sent to a rewrite subagent; algorithmically unsalvageable issues are parked on OnHold
Use when reviewing a [Rule] or [Model] GitHub issue for quality before implementation — checks usefulness, non-triviality, correctness of literature claims, and writing quality
Use when a user wants to propose a new problem model or reduction rule — guides them through brainstorming, clarifies the design, and files a GitHub issue
Review the Typst paper (docs/paper/reductions.typ) for quality issues — evaluates 10 entries per session, reports mechanical and critical issues without fixing
Reverse of find-solver — given a solver for a model, discover what other problems it can handle via incoming reductions, ranked by effective complexity
Interactive guide — match a real-world problem to a library model, explore reduction paths, recommend solvers (built-in + external), and generate a solution doc
| name | fix-pr |
| description | Use when a PR has review comments to address, CI failures to fix, or codecov coverage gaps to resolve |
Resolve PR review comments, fix CI failures, and address codecov coverage gaps for the current branch's PR.
Step 1 should be a single report-generation step. Use the shared scripted helper to produce one skill-readable PR context packet. Do not rebuild this logic inline with gh api | python3 -c unless you are debugging the helper itself.
REPORT=$(python3 scripts/pipeline_pr.py context --current --format text)
printf '%s\n' "$REPORT"
The report should already include:
Use the values printed in that report for the rest of this skill. If you absolutely need raw structured data for a corner case, rerun the same command with --format json, but do not rebuild Step 1 manually.
Check ALL four sources. User inline comments are the most commonly missed — do not skip any.
Start from the report's Comment Summary. It should tell you whether any source is non-empty before you inspect raw threads.
If you need the raw comment arrays for detailed triage, rerun python3 scripts/pipeline_pr.py context --current --format json and inspect:
comments["inline_comments"]comments["reviews"]comments["human_issue_comments"]comments["human_linked_issue_comments"]comments["codecov_comments"]Read the report's CI Summary. The structured JSON fallback includes:
state — pending, failure, or successruns — normalized check-run detailspending / failing / succeeding countsRead the report's Codecov section. The structured JSON fallback includes:
found — whether a Codecov comment is presentpatch_coverageproject_coveragefilepaths — deduplicated paths referenced by Codecov linksbody — the raw latest Codecov comment bodyCategorize all findings:
| Priority | Type | Action |
|---|---|---|
| 1 | CI failures (clippy/test/coverage) | Fix immediately — blocks merge |
| 2 | Inline/review comments | Address each one — evaluate validity, fix if correct |
| 3 | Codecov coverage gaps | Add tests for uncovered lines |
For each failing check:
make clippy locally, fix warningsmake test locally, fix failures (build errors surface here too)For each review comment:
Do NOT respond on the PR -- just fix and commit. The user will push and respond.
Review suggestions with suggestion blocks contain exact code. Evaluate each:
IMPORTANT: Do NOT run cargo-llvm-cov locally. Use the gh api to read the codecov report instead.
From the CODECOV JSON (fetched in Step 1c), extract:
filepathsThen read the source files and identify which new/changed lines lack test coverage.
make test to verify tests passAfter pushing, CI will re-run coverage. Check the updated codecov comment on the PR.
After all fixes:
# Verify everything passes locally
make check # fmt + clippy + test
Commit with a descriptive message referencing the PR:
git commit -m "fix: address PR #$PR review comments
- [summary of fixes applied]
"
Report to user:
Run /review-implementation first to catch issues before push. Then /fix-pr after push to address CI and reviewer feedback.
After creating a PR, use /fix-pr to address review feedback and CI failures.