AIKraft/Skills/mermaid в proverif

mermaid в proverif

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.

AItrailofbits official Разработка

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

Преобразует диаграммы sequenceDiagram Mermaid, описывающие криптографические протоколы, в модели формальной верификации ProVerif (файлы .pv). Используйте при генерации модели ProVerif, формальной верификации протокола, преобразовании диаграммы Mermaid в ProVerif, проверке свойств безопасности протокола (secrecy, authentication, forward secrecy), проверке на replay-атаки или создании файла .pv из диаграммы последовательности.

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

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

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

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

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

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