lean4 settings

3 tagged lean4, measured the same way as everything else here.

Thermite

01

Corvidae-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