How does this skill differ from a standard linter?

While linters focus on syntax and style, this skill analyzes logical flow, runtime assumptions, and complex patterns like race conditions that static analysis often misses.

Can it detect platform-specific issues?

Yes, it includes checks for production-specific concerns like timezone-naive code, locale dependencies, and floating-point precision issues.

What languages does this skill support?

It is designed to work across most major programming languages, with a particular focus on logic patterns common in JavaScript, TypeScript, Python, and similar high-level languages.

Is it suitable for security audits?

Yes, by identifying TOCTOU vulnerabilities and improper error handling, it serves as a valuable tool for finding security-relevant correctness bugs.

Code Review Correctness

Name: Code Review Correctness
Author: xinbenlv

byxinbenlv

0•

Security & Testing

Analyzes source code to identify complex logic bugs, unhandled edge cases, and critical error handling failures before they reach production.

The Code Review Correctness skill acts as a senior 'Logic Bug Hunter' within Claude Code, specifically designed to surface deep-seated runtime issues that automated linters often miss. It meticulously checks for off-by-one errors, race conditions in asynchronous code, null pointer dereferences, and improper resource management. By applying a rigorous checklist based on thousands of production incident patterns, it helps developers ensure their core business logic is robust, idempotent, and capable of handling unexpected inputs or environment-specific edge cases like timezone or floating-point discrepancies.

Key Features

01Verification of error propagation, resource cleanup, and 'swallowed' exceptions

020 GitHub stars

03Detection of complex logic errors like off-by-one and fence-post bugs

04Identification of unhandled null/undefined values and type coercion issues

05Edge case testing for boundary values, empty inputs, and large datasets

06Deep analysis of asynchronous race conditions and shared state modifications

Use Cases

01Performing pre-deployment audits to ensure comprehensive error handling and resource management

02Reviewing critical business logic or complex algorithms where correctness is paramount

03Hardening asynchronous backend services against race conditions and state corruption

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add xinbenlv/codereview-skills codereview-correctness

For use in Claude.ai and ChatGPT

Download Skill