Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.
Install
npx skills add trailofbits/skills --skill mermaid-to-proverifnpx skills add trailofbits/skills --skill mermaid-to-proverif -a claude-code -gnpx skills add trailofbits/skills --skill mermaid-to-proverif -a codex -ggemini skills install https://github.com/trailofbits/skills.git --path plugins/trailmark/skills/mermaid-to-proverifgh skill install trailofbits/skills mermaid-to-proverifgit clone --depth 1 https://github.com/trailofbits/skills /tmp/trailofbits__skills
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/trailofbits__skills/plugins/trailmark/skills/mermaid-to-proverif ~/.claude/skills/mermaid-to-proverif # Claude Code
cp -R /tmp/trailofbits__skills/plugins/trailmark/skills/mermaid-to-proverif ~/.agents/skills/mermaid-to-proverif # Codex, Cursor, Gemini CLI, Copilot, OpenCode