hyhmrright/logic-lens

6 stars · Last commit 2026-06-01

Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · 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 →