Mermaid To ProVerif skill: what it does and how to install it

What it does. Reads an annotated Mermaid sequenceDiagram, maps participants, messages and cryptographic operations to typed ProVerif declarations and processes, then writes a .pv model. It adds reachability, secrecy, authentication and forward-secrecy queries where applicable, and checks the model structure before delivery.

When to use it. Use it to formally verify cryptographic protocols represented as Mermaid diagrams. It does not apply without a sequence diagram, to non-cryptographic systems, or when simply running ProVerif on an existing .pv file.