crypto-protocol-diagram
🤖 AI Summary
Extracts cryptographic protocol message flows from source code, RFCs, papers, pseudocode, or formal models (ProVerif/Tamarin) and outputs Mermaid sequence diagrams.
How to Install
Claude Code:
git clone --depth 1 https://github.com/trailofbits/skills.git && cp skills/plugins/trailmark/skills/crypto-protocol-diagram ~/.claude/skills/crypto-protocol-diagram -rExtracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with cryptographic
Details
| Category | AI/ML → prompt |
| Source | trailofbits/skills |
| SKILL.md | View on GitHub → |
| Repo Stars | ★ 5.8K |
| Est. per Skill | 98 (shared across 59 skills from this repo) |
| Difficulty | Intermediate |
| Risk Level | Safe |
Related Skills
skill-builder
Automatically detect source types and build AI skills using Skill Seekers. Use when the user wants t
skill-creator
--- name: skill-creator description: Create new skills, modify and improve existing skills, and meas
skill-creator
--- name: skill-creator description: Create new skills, modify and improve existing skills, and meas
skill-creator
--- name: skill-creator description: Create new skills, modify and improve existing skills, and meas
Works Well With
Skills from the same repository — often designed to work together