4 tagged lean4, measured the same way as everything else here.
Corvidae-Coding-Projects/Thermite
Hook Claude Code
Runs after a tool call finishes for Write, Edit and Read tool calls, executing post-edit-check.py, spec-discipline.py and heartbeat.py with --show-toplevel (3 commands). From Corvidae-Coding-Projects/Thermite.
Corvidae-Coding-Projects/Thermite
Hook Claude Code
Runs when a session starts on startup and resume, executing session-start.py with --show-toplevel. From Corvidae-Coding-Projects/Thermite.
Corvidae-Coding-Projects/Thermite
Hook Claude Code
Runs when you submit a prompt, before the agent sees it, executing prompt-guard.py with --show-toplevel. From Corvidae-Coding-Projects/Thermite.