Crypto Protocol Diagram
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal pros…
by trailofbits
The skill
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with cryptographic annotations. Use when diagramming a crypto protocol, visualizing a handshake or key exchange flow, extracting message flow from a spec or RFC, diagramming a ProVerif or Tamarin model, or drawing sequence diagrams for TLS, Noise, Signal, X3DH, Double Ratchet, FROST, DH, or ECDH protocols.
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/crypto-protocol-diagram-49049087096.
Details
- Publisher
- trailofbits
- Category
- Security › Application security
- 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.