hyhmrright/logic-lens

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.

21Stars on the repository
28Mods indexed here, across every type
3d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

logic-lens

01

hyhmrright/logic-lens

Settings file Claude Code

Agent settings declaring 1 hook event (PostToolUse).

21 3d ago A tokens not measured original MIT