Skills tagged formal-verification: 3 agent skills for Claude Code

• mermaid-to-proverif — pv files). pv file from a sequence diagram.
• writing-lean-proofs — Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions.
• zeroize-audit — Detects missing zeroization of sensitive data in source code and identifies zeroization removed by compiler optimizations, with assembly-level analysis.