logic-lens
01Settings file Claude Code
Agent settings declaring 1 hook event (PostToolUse).
21 3d ago A
tokens not measured
original MIT
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.
Settings file Claude Code
Agent settings declaring 1 hook event (PostToolUse).