~ / skills / productivity / mermaid-to-proverif

mermaid-to-proverif

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally…

Industry: productivity
License: Unverified
Source repo: trailofbits/skills · ★ 6,121
Source file: plugins/trailmark/skills/mermaid-to-proverif/SKILL.md

View full SKILL.md on GitHub →

不会安装？看中文图文教程 →