Mermaid To Proverif

Name: Mermaid To Proverif
Author: trailofbits

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files).

Skill8.2k stars on trailofbits/skills · shared by 97 skills

Install

Use it in

Terminal is for Claude Code, Codex, Cursor and Copilot.

mermaid-to-proverif.zipCC-BY-SA-4.0 license included

Packed by SkillHub from trailofbits/skills, always the latest version. On a phone: download now, upload later from a computer.

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files).

Slicing Code Context
Selects bounded, graph-informed source slices with Trailmark and delegates focused code analysis or patch-proposal work to a smaller subagent.
Skill
8.2k· repoGitHub stars for trailofbits/skills, shared by the 97 skills listed from this repo
FFUF Web Fuzzing
Expert guidance for ffuf-based web penetration testing and result analysis.
Skill
213GitHub stars for jthack/ffuf_claude_skill
Better Auth
Best practices for authentication with Better Auth library.
Skill
900· repoGitHub stars for better-auth/skills, shared by the 6 skills listed from this repo