PostToolUse
01Hook 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
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.
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.
Hook
Runs when a session starts on startup, clear and compact, running an inline shell check. From hyhmrright/logic-lens.