hyhmrright/logic-lens
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.