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.
Install
npx skills add trailofbits/skills --skill crypto-protocol-diagramnpx skills add trailofbits/skills --skill crypto-protocol-diagram -a claude-code -gnpx skills add trailofbits/skills --skill crypto-protocol-diagram -a codex -ggemini skills install https://github.com/trailofbits/skills.git --path plugins/trailmark/skills/crypto-protocol-diagramgh skill install trailofbits/skills crypto-protocol-diagramgit clone --depth 1 https://github.com/trailofbits/skills /tmp/trailofbits__skills
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/trailofbits__skills/plugins/trailmark/skills/crypto-protocol-diagram ~/.claude/skills/crypto-protocol-diagram # Claude Code
cp -R /tmp/trailofbits__skills/plugins/trailmark/skills/crypto-protocol-diagram ~/.agents/skills/crypto-protocol-diagram # Codex, Cursor, Gemini CLI, Copilot, OpenCode