Crypto Protocol Diagram
- **[references/spec-parsing-patterns.md](references/spec-parsing-patterns.md)** —
LLM Evaluation
Evaluated by: xiaomi/mimo-v2-flash:free
Last evaluated: May 17, 2026
Prompt Preview
---
name: crypto-protocol-diagram
description: "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 R...
Full prompt length: 18507 characters
Tools & Technologies
- go