crypto-protocol-diagram

Maintained by trailofbits

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 f

Current version: Unknown
License: Unknown
Network access: Unknown / not assessed
Review status: Not verified

Problem it solves

This catalog entry helps users find and evaluate crypto-protocol-diagram for the task described by its available catalog summary. Confirm the exact scope in the linked original source when one is available.

When to use it

Consider crypto-protocol-diagram when its available catalog summary matches the task at hand. When available, review the linked original source before use for precise instructions, requirements, and limitations.

crypto-protocol-diagram is listed as an agent skill in RefHub. The listed maintainer is trailofbits. The available catalog summary is: 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 f When available, review the linked original source for exact usage instructions, required tools, and limitations.

Installation and updates

These commands are displayed for copying only and are never executed on RefHub servers. Review the linked upstream source before running them.

Install command

npx skills add trailofbits/skills --skill crypto-protocol-diagram -y

Agent compatibility

No compatibility test has been recorded

Do not assume agent compatibility until documented test evidence is available.