Formal Verification skills
Free agent skills tagged formal verification, ready to install into any SKILL.md-compatible agent.
3 skills
Writing Lean Proofs
trailofbits
Streamline your Lean 4 proof writing and library design.
Developer Toolsintermediate6.5k repo
Mermaid to ProVerif
trailofbits
Translate Mermaid diagrams into ProVerif models for verification.
Security & Complianceintermediate6.5k repo
A
Academic Research Engineer
davila7
Achieve rigorous correctness in computational implementations.
Developer Toolsadvanced30.2k repo