Crypto Protocol Diagram
by trailofbits82fe82262526No license7.4K starsListed Oct 8, 2026Updated Oct 8, 2026Repository updated yesterday
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.
Only the file list is public. File contents are available once the skill is installed in a workspace.
| Path | Size | Type |
|---|---|---|
| agents/openai.yaml | 244 B | application/yaml |
| assets/trail-of-bits-mark.svg | 3 KB | text/plain |
| examples/simple-handshake/expected-output.md | 4.8 KB | text/markdown |
| examples/simple-handshake/protocol.py | 5.7 KB | text/plain |
| examples/simple-proverif/expected-output.md | 4 KB | text/markdown |
| examples/simple-proverif/model.pv | 1.8 KB | text/plain |
| references/ascii-sequence-diagram.md | 2.3 KB | text/markdown |
| references/mermaid-sequence-syntax.md | 7.5 KB | text/markdown |
| references/protocol-patterns.md | 10.9 KB | text/markdown |
| references/spec-parsing-patterns.md | 11.6 KB | text/markdown |
| SKILL.md | 18.4 KB | text/markdown |
Source and attribution
Source:trailofbits/skillsinplugins/trailmark/skills/crypto-protocol-diagramat commit82fe822
License: No license
Content belongs to its original authors. SourceWeft indexes it from a public repository.
More from trailofbits/skills
Vector Forge
trailofbits
Generates cryptographic test vectors by mutation testing implementations to find uncovered code paths.
Wycheproof
trailofbits
Guides testing cryptographic implementations against Project Wycheproof test vectors for known attacks and edge cases.
Ruzzy
trailofbits
Guides setup and use of Ruzzy, Trail of Bits' coverage-guided fuzzer for Ruby code and C extensions.
Ossfuzz
trailofbits
Guides enrolling an open-source project in OSS-Fuzz and running fuzzing harnesses locally via helper.py.
Libfuzzer
trailofbits
Guides setting up and running libFuzzer on C/C++ code, covering harnesses, builds, corpora, sanitizers and triage.
Trailmark
trailofbits
Builds and queries multi-language source and binary code graphs for security analysis and audit prioritization.
More in Software Development
Playground
anthropics
Builds self-contained interactive HTML playgrounds with controls, live preview, and copyable prompt output.
M5 Onboard
anthropics
Provisions M5Stack ESP32 boards by detecting them on USB, flashing UIFlow 2.0 firmware, and installing a MicroPython app bundle.
Cardputer Buddy
anthropics
Guides iterating on a Cardputer-Adv MicroPython app bundle: adding apps, pushing files over USB-serial, tailing logs, and running REPL commands.
Web Design Guidelines
vercel-labs
Reviews UI code against Web Interface Guidelines fetched from a remote source and reports findings as file:line entries.
Vercel React Native Skills
vercel-labs
React Native and Expo best-practice rules covering list performance, animation, navigation, UI patterns, state, and monorepo setup.
Vercel React Best Practices
vercel-labs
Vercel's React and Next.js performance guidelines, organized as 70 rules for writing, reviewing, and refactoring code.