CommunityCoding & Developmentgithub.com

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.

What is logic-lens?

logic-lens is a Claude Code agent skill that 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.

Works withClaude CodeCodex CLI~CursorGemini CLI
npx skills add hyhmrright/logic-lens

Installed? Explore more Coding & Development skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Ask in your favorite AI

Open a new chat with this agent skill pre-loaded.

Documentation

What does logic-lens do?

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.

Related Skills