Crypto Protocol Diagram

Extracts protocol message flows from code, RFCs, papers, or formal models (ProVerif, Tamarin) and generates Mermaid sequence diagrams with cryptographic annotations. It systematically traces who sends what to whom, labels each crypto operation (DH exchanges, KDFs, signatures), and identifies protocol phases like handshake and key derivation. The workflow distinguishes between reading source implementations versus specifications, with explicit instructions to reject shortcuts like diagramming from memory or skipping crypto annotations. Useful when you need to visualize TLS handshakes, Signal's X3DH, FROST threshold signatures, or any protocol where understanding the exact message sequence and cryptographic transforms matters for security review or implementation work.

Install to Claude Code

npx -y skills add trailofbits/skills --skill crypto-protocol-diagram --agent claude-code