Mermaid To Proverif
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verif…
by trailofbits
The skill
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.
This skill's licence does not allow redistribution, so the store does not show its text. Read it at the source.
Use this skill
Connect your agent to the Skill Store MCP server and ask for it by ref: trailofbits/mermaid-to-proverif-15566882762.
Details
- Publisher
- trailofbits
- Category
- Security › Misc
- Updated
- 2026-10-16
References
More from trailofbits
- Agentic Actions Auditor Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including C…
- Audit Context Building Understand a codebase before looking for bugs in it - what each function assumes, what it guarant…
- Algorand Vulnerability Scanner Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecke…
- Audit Prep Assistant Prepares codebases for security review using Trail of Bits' checklist.