Thermite
01Corvidae-Coding-Projects/Thermite
Settings file Claude Code
Agent settings declaring 4 hook events (PostToolUse, PreToolUse, SessionStart, UserPromptSubmit).
52 24d ago A
tokens not measured
original MIT
4 tagged formal verification, measured the same way as everything else here.
Corvidae-Coding-Projects/Thermite
Settings file Claude Code
Agent settings declaring 4 hook events (PostToolUse, PreToolUse, SessionStart, UserPromptSubmit).
schildep/verified-polygon-intersection
Settings file Claude Code
Agent settings declaring 6 allowed tools.
Settings file Claude Code
Agent settings declaring 6 hook events (SessionStart, UserPromptSubmit, PreToolUse, PostToolUse).
hyperpolymath/boj-server-cartridges
Settings file Claude Code
Agent settings declaring 5 allowed tools.