correctness-reviewer¶
Review a code diff for correctness bugs — logic errors, regressions, unhandled edge cases, and missing validation in changed lines. It reviews only the changed lines and their blast radius (callers of changed code, changed contracts), not the whole repo, and reports only high-confidence findings.
At a glance¶
| Model | inherits the session's |
| Tools | Read Grep Glob Bash |
| Author | navjyotnishant |
| Source | agents/correctness-reviewer.md |
Returns content — does not write files
Like all but two of the agents, this one returns its output to the skill that spawned it, and the skill writes the file. It holds no write tools, so it cannot modify the repo even if asked to.
When it runs¶
The user has staged changes and wants a correctness check before pushing.
review these changes for bugs before I push
The pre-push-review umbrella (or /review-correctness) spawns this agent with the already-secret-scanned diff snapshot to find bugs the change introduces.
What it returns¶
Return a structured report:
- A one-line dimension verdict:
PASS(no bugs),WARN(risky but not clearly broken), orBLOCK(a real bug that should not ship). - Each finding, most severe first:
- Severity:
BLOCKER/WARNING/NIT - Location:
file:line(from the diff) - What's wrong: one sentence
- Failure scenario: the concrete input/state → wrong result
- Fix: a concrete suggestion
Spawned by¶
Derived, not declared
No agent file records which skills call it — this list is recovered from the skill definitions at build time, so it cannot go stale.
See the /pre-push-review pipeline for where this fits in the whole run.