Agent skill · trailofbits

mermaid-to-proverif

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

Reference it in any coding agent with:

@skills trailofbits/mermaid-to-proverif

Browse the @skills marketplace