11 tagged formal verification, measured the same way as everything else here.
Browse within: algebraic-effects 6compiler 6egraph 6non-associative-algebra 6octonions 6
emiliaprotocol/emilia-protocol
Hook
Runs before the agent uses a tool for Bash, Write, Edit, MultiEdit and mcp__.* tool calls, executing guard.mjs via node. From emiliaprotocol/emilia-protocol.
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.
Hook Claude Code
Runs when a session starts on startup, resume and clear, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.
Hook Claude Code
Runs when you submit a prompt, before the agent sees it, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.
Hook Claude Code
Runs before the agent uses a tool for Write, Edit, MultiEdit and NotebookEdit tool calls, executing sounio_coord_agent_hook.py via python3 with --agent. From Sounio-lang/sounio.