crypto-protocol-diagram
crypto protocol diagram
What it does
- Source code implementing a cryptographic protocol, or
- A specification — RFC, academic paper, pseudocode, informal prose,
- User asks to diagram, visualize, or extract a cryptographic protocol
- Input is source code implementing a handshake, key exchange, or multi-party protocol
- Input is an RFC, academic paper, pseudocode, or formal model (ProVerif/Tamarin)
- User names a specific protocol (TLS, Noise, Signal, X3DH, FROST)
- User wants a call graph, class hierarchy, or module dependency map — use diagramming-code
Requirements & configuration
- | "The abort path is obvious, no need for alt blocks" | Implicit abort handling hides missing error checks | Show every abort/error path with alt blocks |
- | "I don't need to check the examples first" | The examples define the expected output quality bar | Study the relevant example before working on unfamiliar input |
- Pseudocode: assert, require, if ... abort
- this protocol requires, annotate:
- ⚠️ spec omits [step] — canonical protocol requires it
Configuration: MUSTSHALLSHOULDHKDF
Derived from the skill's own SKILL.md documentation · extracted 2026-07-23
crypto-protocol-diagram FAQ
What does the crypto-protocol-diagram skill do?
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. Source code implementing a cryptographic protocol, or A specification — RFC, academic paper, pseudocode, informal prose,
What does crypto-protocol-diagram require?
| "The abort path is obvious, no need for alt blocks" | Implicit abort handling hides missing error checks | Show every abort/error path with alt blocks | | "I don't need to check the examples first" | The examples define the expected output quality bar | Study the relevant example before working on unfamiliar input | Pseudocode: assert, require, if ... abort this protocol requires, annotate: ⚠️ spec omits [step] — canonical protocol requires it Configuration keys: MUST, SHALL, SHOULD, HKDF.
How do I install crypto-protocol-diagram?
Run: npx -y skills add https://github.com/trailofbits/skills --skill crypto-protocol-diagram --agent claude-code — the source lives at github.com/trailofbits/skills.
Maintain crypto-protocol-diagram?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[crypto-protocol-diagram on getagentictools](https://getagentictools.com/skills/trailofbits-skills-crypto-protocol-diagram?ref=badge) npx agentictools info skills/trailofbits-skills-crypto-protocol-diagram The second line is the CLI lookup for this page — handy in READMEs and docs.
