Crypto Protocol Diagram
Skill Verified ActiveExtracts 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.
To automate the generation of detailed sequence diagrams for cryptographic protocols, aiding in security analysis and understanding.
Features
- Extracts protocol flow from code, RFCs, papers, ProVerif, and Tamarin models
- Generates Mermaid sequence diagrams with cryptographic annotations
- Supports ASCII sequence diagram output
- Differentiates protocol semantics from code structure
- Handles various crypto operations and protocol phases
Use Cases
- 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
- Drawing sequence diagrams for protocols like TLS, Noise, Signal, X3DH
Non-Goals
- Generating call graphs, class hierarchies, or module dependency maps (use `diagramming-code` instead)
- Formally verifying a protocol (use `mermaid-to-proverif` after diagram generation)
- Diagramming inputs with no cryptographic protocol semantics
Practices
- Protocol analysis
- Security documentation
- Specification parsing
Prerequisites
- Python 3.12+
- cryptography>=42.0
Installation
First, add the marketplace
/plugin marketplace add trailofbits/skills/plugin install trailmark@trailofbitsQuality Score
VerifiedTrust Signals
Similar Extensions
Markdown and Mermaid Writing
100Comprehensive markdown and Mermaid diagram writing skill. Use when creating any scientific document, report, analysis, or visualization. Establishes text-based diagrams as the default documentation standard with full style guides (markdown + mermaid), 24 diagram type references, and 9 document templates.
Mermaid to ProVerif
99Translates 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.
Mermaid Diagrams
99Teaches PMs to create syntactically valid mermaid diagrams by selecting the right diagram type for their communication need, following syntax validity rules, and validating before shipping. Covers all 15 mermaid diagram types with PM-relevant examples and a dual-lens navigation system.
AlterLab Mermaid
99Part of the AlterLab Academic Skills suite. Comprehensive markdown and Mermaid diagram writing skill. Use when creating any scientific document, report, analysis, or visualization. Establishes text-based diagrams as the default documentation standard with full style guides (markdown + mermaid), 24 diagram type references, and 9 document templates.
Cli Anything Mermaid
98Command-line interface for Mermaid Live Editor - Create, edit, and render Mermaid diagrams via stateful project files and mermaid.ink renderer URLs. Designed for AI agents and power users who need to generate flowcharts, sequence diagrams, and other visualizations without a GUI.
Diagramming Code
95Generates Mermaid diagrams from Trailmark code graphs. Produces call graphs, class hierarchies, module dependency maps, containment diagrams, complexity heatmaps, and attack surface data flow visualizations. Use when visualizing code architecture, drawing call graphs, generating class diagrams, creating dependency maps, producing complexity heatmaps, or visualizing data flow and attack surface paths as Mermaid diagrams.