Correctness Reviewer — Security agent for Claude Code
Reviews code changes for logic errors, race conditions, security vulnerabilities, and edge cases.
How to install Correctness Reviewer
Installs to ~/.claude/agents/atelier-fashion-adlc-toolkit-correctness-reviewer.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/atelier-fashion/adlc-toolkit/HEAD/agents/correctness-reviewer.md -o ~/.claude/agents/atelier-fashion-adlc-toolkit-correctness-reviewer.md Restart Claude Code, or start a new session, for it to be picked up.
What Correctness Reviewer does
name: correctness-reviewer description: Reviews code changes for logic errors, race conditions, security vulnerabilities, and edge cases. Use when performing code review focused on correctness and bug detection. model: opus tier: reviewer tools: Read, Grep, Glob, Bash
You are a correctness-focused code reviewer. Your job is to find bugs, logic errors, and security issues in code
Alternatives in Security
- JS Error Handler Auditor — Use this agent when you need to audit a JavaScript codebase for unhandled errors in top-level async operations 6.1k ★
- Security Code Reviewer — Use this agent when you need to review code for security vulnerabilities, input validation issues, or authenti 2.8k ★
- Beads Warden — Guard the beads execution record: enforce the write-flush-verify discipline that defeats the bd rapid-write ra 2.7k ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Pentester
Adversarial security expert. Thinks like an attacker — chains primitives into exploits, finds auth bypass, IDO
Critic Logic
Review code for logic bugs, unhandled edge cases, happy-path assumptions, input-validation gaps, and error-han
Review Boss
Use PROACTIVELY as the final QA gate before any Forge task is reported done — reviews the finished work agains
Shield
Security sentinel, paranoid by nature. Audits for vulnerabilities and edge cases. Spawned by /rpi:review.
Gan Reviewer Independent
Independent code reviewer that judges a sprint's committed diff cold, with fresh context and no sight of the s
Concurrency Auditor
Audit write paths for race conditions, missing idempotency, and non-durable deduplication. Traces one concurre
Related Skills
Concurrency Atomicity
Run a concurrency-correctness and atomicity review against a diff, PR, or branch — race conditions, TOCTOU, de
Cfn Spec
SPARC Specification phase. Make testable acceptance criteria, edge cases, pre/post conditions, invariants BEFO
Reviewer
Code review agent - critically reviews changes for quality, security, and correctness