Mermaid to ProVerif Reads a Mermaid describing a cryptographic protocol and produces a ProVerif model ( file) that can be passed directly to the ProVerif verifier. Tools used: Read, Write, Grep, Glob. The typical input is the output of the skill — a Mermaid annotated with cryptographic operations ( , , , , , , etc.) and message arrows. When to Use - User asks to formally verify a cryptographic protocol described as a Mermaid sequenceDiagram - User wants to generate a ProVerif model (.pv file) from a protocol diagram - User wants to prove secrecy, authentication, or forward secrecy properties…