hyhmrright/logic-lens

3 stars · Last commit 2026-05-03

Catches the bugs linters miss — logic-first code review via execution tracing. Finds behavioral bugs, type-contract breaches & semantic mismatches across 9 risk categories. Six skills: review, explain, diff, locate, health-check, and autonomous audit-and-fix pipeline. Claude Code · Codex CLI · Gemini CLI.

PluginWorkflow & Automation TDD & Testing Debugging Documentation Design & UI DevOps & Infra Productivity AI & Prompting Data & ML Security

README preview

<p align="center">
  <h1 align="center">Logic-Lens</h1>
</p>

<p align="center">
  <strong>Logic-first code review using semi-formal execution tracing.<br>
  Finds behavioral bugs that linters, type checkers, and unstructured review miss.</strong>
</p>

<p align="center">
  <a href="#the-nine-logic-risks">Nine Risks</a> •
  <a href="#what-it-looks-like">Example</a> •
  <a href="#six-skills">Six Skills</a> •
  <a href="#benchmark">Benchmark</a> •
  <a href="#installation">Installation</a> •
  <a href="#usage">Usage</a> •
  <a href="#configuration">Configuration</a> •
  <a href="#contributing">Contributing</a>
</p>

View full repository on GitHub →