agentmods.dev

chenxihuang1028-a11y/crypto-protocol-diagram

Claude Skill: extract cryptographic protocol message flow from code, RFCs, ProVerif or Tamarin models into Mermaid + ASCII sequence diagrams

Open on GitHub
5Stars on the repository
1Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
CC-BY-SA-4.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

crypto-protocol-diagram

01

chenxihuang1028-a11y/crypto-protocol-diagram

Skill Claude CodeCodex

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…

not rated 5 1mo ago A 120 tokens CC-BY-SA-4.0