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

PostToolUse

01

hyhmrright/logic-lens

Hook Claude Code

Runs after a tool call finishes for Edit, Write and MultiEdit tool calls, executing validate-on-edit.sh via bash. From hyhmrright/logic-lens.

21 3d ago A tokens not measured original MIT

SessionStart

02

hyhmrright/logic-lens

Hook

Runs when a session starts on startup, clear and compact, running an inline shell check. From hyhmrright/logic-lens.

21 3d ago A tokens not measured copy · 66% MIT