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.
Latest release v0.6.7 — v0.6.7 — Adversarial validation, five-field discipline & +22.3pp benchmark · 17 May 2026
4 files for Claude Code, Codex, OpenCode and Gemini CLI: logic-lens, logic-lens AGENTS.md, logic-lens CLAUDE.md, logic-lens GEMINI.md — 3,457 tokens loaded in every session.
AGENTS.md A 304 tok CLAUDE.md A 2,868 tok GEMINI.md A 285 tok .claude/settings.json A — These files are hyhmrright/logic-lens's own configuration — they tell Claude Code, Codex, OpenCode and Gemini CLI how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.