mermaid-to-proverif
trailofbits3.5k installs
Turn protocol diagrams into ProVerif models.
About this skill
- Visibility
- Public
- Repository
- trailofbits/skills
- Language
- English
- Supported agents
- Codex
- License
- CC-BY-SA-4.0 (from GitHub repository)
- Created
- Oct 16, 2026
- Updated
- Oct 24, 2026
- Files
- 9