trailofbits/skills
mermaid-to-proverif
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif…
8-week activity · all time api
Installation
$
npx skills add https://github.com/trailofbits/skills
Also in this package
Other skills from trailofbits/skills · top by installs.
npx skills add https://github.com/trailofbits/skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Claude Code
Not declared
Cursor
Not declared
Codex
Not declared
GitHub Copilot
Not declared
Windsurf
Not declared
Gemini CLI
Not declared
Cline
Not declared
OpenCode
Not declared
Repository health
Stars
7.0K
License
LICENSE
Default branch
main
Open issues
22
Status
Active
History
- First seen on skills.sh
- First recorded snapshot · 3,144 installs