Use This Skillmermaid-to-proverif
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.
npx degit trailofbits/skills/plugins/trailmark/skills/mermaid-to-proverif .claude/skills/mermaid-to-proverif12 alternatives · Best backend skills · Author? Prove this skill
Read this skill at its source
The repo doesn’t state an open license, so we link to it rather than showing the text here.
Open on GitHub