원클릭으로
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.