formal verification settings

4 tagged formal verification, 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

sounio

03

Sounio-lang/sounio

Settings file Claude Code

Agent settings declaring 6 hook events (SessionStart, UserPromptSubmit, PreToolUse, PostToolUse).

5 yesterday A tokens not measured original Apache-2.0