AIKraft/Skills/Диаграмма криптографического протокола

Диаграмма криптографического протокола

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 sequ

AItrailofbits official Дизайн

Что делает навык

Извлекает поток сообщений протокола из исходного кода, RFC, научных статей, псевдокода, неформального текста, моделей ProVerif (.pv) или Tamarin (.spthy) и генерирует Mermaid sequenceDiagrams с криптографическими аннотациями. Используйте при диаграммировании криптопротокола, визуализации handshake или обмена ключами, извлечении потока сообщений из спецификации или RFC, диаграммировании модели ProVerif или Tamarin, либо построении sequ

Как подключить

1Скачать навык

# возьмите папку навыка «crypto-protocol-diagram» из репозитория: # https://github.com/trailofbits/skills

2Положить папку с SKILL.md к навыкам ассистента

# положите папку навыка туда, где ассистент ищет skills: cp -r crypto-protocol-diagram/ ~/.claude/skills/crypto-protocol-diagram/

Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.