Crypto Protocol Diagram

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.

5 starsFinance & Crypto

Install

skills CLI (Claude Code, Cursor, Codex and more)

npx skills add chenxihuang1028-a11y/crypto-protocol-diagram --skill crypto-protocol-diagram

Manual install

git clone --depth 1 https://github.com/chenxihuang1028-a11y/crypto-protocol-diagram.git /tmp/crypto-protocol-diagram
mkdir -p ~/.claude/skills
cp -r /tmp/crypto-protocol-diagram/. ~/.claude/skills/crypto-protocol-diagram

Personal skills live in ~/.claude/skills. Use .claude/skills in a project folder to share a skill with your team.

From the SKILL.md

# Crypto Protocol Diagram

Produces a Mermaid `sequenceDiagram` (written to file) and an ASCII sequence
diagram (printed inline) from either:

- **Source code** implementing a cryptographic protocol, or
- **A specification** — RFC, academic paper, pseudocode, informal prose,
  ProVerif (`.pv`), or Tamarin (`.spthy`) model.

**Tools used:** Read, Write, Grep, Glob, Bash, WebFetch (for URL specs).

Unlike the `diagramming-code` skill (which visualizes code structure), this skill
extracts **protocol semantics**: who sends what to whom, what cryptographic
transformations occur at each step, and what protocol phases exist.

For call graphs, class hierarchies, or module dependency maps, use the
`diagramming-code` skill instead.

## When to Use

- User asks to diagram, visualize, or extract a cryptographic protocol
- Input is source code implementing a handshake, key exchange, or multi-party protocol
- Input is an RFC, academic paper, pseudocode, or formal model (ProVerif/Tamarin)
- User names a specific protocol (TLS, Noise, Signal, X3DH, FROST)

## When NOT to Use

- User wants a call graph, class hierarchy, or module dependency map — use `diagramming-code`
- User wants to formally verify a protocol — use `mermaid-to-proverif` (after generating the diagram)
- Input has no cryptographic protocol semantics (no parties, no message exchange)

## Rationalizations to Reject

| Rationalization | Why It's Wrong | Required Action |
|-----------------|----------------|-----------------|

Read the full skill on GitHub

Details

Skill name: crypto-protocol-diagram
Repository: chenxihuang1028-a11y/crypto-protocol-diagram
License: CC-BY-SA-4.0
Repo updated: 28 July 2026

FAQ

What does the Crypto Protocol Diagram skill do?

How do I install the Crypto Protocol Diagram skill?

skills CLI (Claude Code, Cursor, Codex and more): npx skills add chenxihuang1028-a11y/crypto-protocol-diagram --skill crypto-protocol-diagram. Skills go in ~/.claude/skills (personal) or .claude/skills (project), and Claude loads them automatically when a task matches the description.

Is Crypto Protocol Diagram popular?

It lives in chenxihuang1028-a11y/crypto-protocol-diagram, which has 5 GitHub stars and 0 forks.

Related skills

European Company Registers

tfbecker/european-company-registers

Search public company registers across Europe for financial data (revenue, assets, earnings) AND structured register data (managing directors, share capital, purpose, legal form). Use when researching company financials, verifying leads, or enriching B2B data. Germany combines the Unternehmensregister (unternehmensregister.de) AND the Bundesanzeiger in parallel for Jahresabschlüsse (GJ 2022+ post-DiRUG lives only in the Unternehmensregister), PLUS a Handelsregister (handelsregister.de) path for the structured register content, Geschäftsführer/Vorstand, Stammkapital, Sitz, Gegenstand, Prokura,

Finance & Crypto

Criminal Investigation Analyst

dungnotnull/criminal-investigation-analyst-agent-skill

A professional-support skill for investigators, criminology students, and true-crime researchers that helps organize case facts, generate multiple investigative hypotheses, apply offender-behavior frameworks (MO vs. signature), support geographic pattern reasoning, flag cognitive biases, draft structured interview question sets using cognitive-interview research, and summarize evidentiary strength per hypothesis. Use this skill whenever the user requests case organization, hypothesis generation, behavioral analysis, geographic profiling, bias detection, interview preparation, timeline analysis

Finance & Crypto

Invest Committee

HenryLinyy/invest-committee

散戶自用的機構級個股研究流程（投資委員會）。融合基本面成長品質、機構觀點共識、資金籌碼技術擇時、風險雷達四大分析與完整行動計畫產出，支援台股/美股/港股/A股依代碼自動路由。當用戶要求分析個股（「幫我分析台積電」「深度分析 NVDA」「看 0700 港股」「分析 A股 600519」）、開投資委員會、健檢自選股、掃描個股風險、看技術面、比較兩檔股票、看某檔台股當沖／當沖劇本／比較兩檔當沖（「力成當沖」「6239 當沖劇本」）時使用。

Finance & Crypto

Clalit Pharm Search

tomron/agent-skill-clalit-pharm-search

Search for medications and check real-time stock availability at Clalit pharmacies in Israel. Use when searching for drugs like "amoxicillin", "acamol/אקמול", "nurofen", or finding nearby Clalit pharmacy branches with stock. Supports Hebrew and English drug names. כללית, בית מרקחת, תרופות, מלאי, בדיקת מלאי, בית מרקחת כללית.

Finance & Crypto

Self Driving Portfolio

nutdnuy/self-driving-portfolio-skill

This skill should be used when the user asks to "build a strategic asset allocation", "run a self-driving portfolio", "compare portfolio methods", "audit an SAA run", or "produce an IPS-governed policy portfolio".

Finance & Crypto

Binance Signal Engine

eplt/binance-signal-engine

Multi-timeframe crypto technical analysis with scored trading signals, structured trade plans, and position sizing via Binance public API. Use when user asks to "analyze BTC", "what's the signal on ETH/USDT", "crypto analysis", "trade setup for SOL", "scan crypto pairs", "check the trend on BTC", "multi-timeframe analysis", "generate a trading signal", "what's the bias on ETH", "TA on BTC/USDT", "is it a good time to buy BTC", or "position size for a crypto trade".

Finance & Crypto

Browse the most popular Claude skills, all finance & crypto skills, or write your own with the skills generator.