crypto-protocol-diagramskills.sh · trailofbits

3,802 installs

"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 seq

Generates or handles private keys

Hosts contacted: noiseprotocol.org

Evidence lines

generates_or_handles_keys — SKILL.md: rg -l "handshake|session_init|round[_0-9]|setup|keygen|send_msg|recv_msg" {targetDir}
generates_or_handles_keys — SKILL.md: | Key generation | `Note over A: keygen(params) → pk, sk` |
generates_or_handles_keys — SKILL.md: | `keygen()`, `Gen(1^λ)` | Key generation | `Note over A: keygen() → pk, sk` |
generates_or_handles_keys — examples/simple-handshake/expected-output.md: | | keygen() → sk_i, pk_i |
generates_or_handles_keys — examples/simple-handshake/expected-output.md: | keygen() → sk_r, pk_r |

Our disclosure is a static description of what the skill declares and does; it is not a safety verdict. Source record: www.skills.sh/trailofbits/skills/crypto-protocol-diagram. Targets trailofbits-skills.

Install

npx skills add trailofbits/skills@crypto-protocol-diagram

Copied from the registry's documented install form. Read the disclosure above first; it is the whole point of this page.

Observed record

First seen 2026-10-19. The weekly re-scan will record install growth and any change to the skill's content hash; one observation so far.

Cite this page

Sato Hub. "crypto-protocol-diagram — skill disclosure on Sato Hub." Sato Hub, updated 2026-10-23, accessed 2026-10-23. https://satohub.ai/skills/skillssh%3Atrailofbits%2Fskills%2Fcrypto-protocol-diagram

Data last refreshed 2026-10-23; this page is rebuilt daily. Citations carry the date so a reader can tell which snapshot a claim came from. Catalog data is licensed CC-BY-4.0.