correctness-reviewer

What problem does it solve?

Reviews code to find logic errors, boundary mistakes, state-transition faults, race conditions, and broken error propagation that unit tests and style checks often miss, helping prevent silent failures and incorrect behavior in production.

Core Features & Use Cases

• Execution tracing: Mentally execute code paths to expose off-by-one errors, incorrect branching, and boundary math mistakes.
• State and concurrency analysis: Identify incorrect state transitions, flags left in erroneous states, and potential race conditions or TOCTOU issues.
• Error propagation checks: Detect swallowed errors, mis-mapped error codes, and fallback behavior that masks failures.
• Use Case: Apply this reviewer to pull requests or critical modules to surface reproducible correctness issues before release.

Quick Start

Run a correctness review on the attached code and return findings as JSON matching the specified schema.