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
3 tagged lean4, 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 56 allowed tools.