check-correctness

What problem does it solve?

This Skill automates the process of reviewing code modules for logical errors, boundary conditions, and arithmetic defects, significantly reducing the time and effort spent on manual code inspection.

Core Features & Use Cases

• Logical Error Detection: Identify off-by-one errors, signed/unsigned mismatches, integer overflows, boundary input issues, order and composition sensitivity, concurrency and interleaving problems, protocol errors, and state machine errors.
• Error Path Analysis: Review error-path correctness, including recovery paths, error diagnostics, and cleanup paths.
• Native Edge Handling: Check for issues related to native function dispatch, argument passing, and return shape handling.
• Ignore Categories: Excluded from review are pure style, naming, module boundaries, dependency direction, duplication, spec conformance, memory safety, and untrusted input handling.
• Severity Assessment: Classify defects by severity levels (high, medium, low).
• Use Case: A reviewer uses this Skill to validate a module shard after development, ensuring correctness before integration.

Quick Start

Run the check-correctness skill to review the code module 'module-01' for logical errors and boundary conditions.