@a-dangelo
1
Published Tools
0
Total Stars
Weekly Downloads
a-dangelo
Formal verification skills for Claude Code, Codex, OpenCode, and Gemini. Rust -> Lean 4 via Aeneas.