Verified record · from the answer index
crypto-protocol-diagram
skilltested · static-verifiedscore 54/100signed passport ✓3,773 uses
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 cry
Declared tools (1)
crypto-protocol-diagram
skill:trailofbits/skills/crypto-protocol-diagram · published by trailofbits · source repository