logic-lens

What problem does it solve?

Traditional code linters and static analysis tools only catch syntax errors and style violations, missing critical logical flaws, race conditions, and security vulnerabilities that only emerge when reasoning through code execution paths.

Core Features & Use Cases

• 9-Category Logic Analysis: Scans code for null/undefined handling gaps, type safety issues, concurrency race conditions, unmanaged resources, injection vulnerabilities, boundary condition errors, algorithm flaws, state inconsistencies, and API contract violations.
• Security-Sensitive Code Audits: Review authentication, payment, and file access code paths to catch security anti-patterns before deployment.
• Debugging Complex Issues: Identify hard-to-find bugs in business logic where standard linters return no errors.
• Legacy Code Onboarding: Map risk areas in unfamiliar codebases to prioritize review and refactoring efforts.

Quick Start

Use the logic-lens skill to review all files changed in your current Git branch for security and logic issues before you open a pull request.