mermaid-to-proverif

Maintained by trailofbits

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), c

Current version: Unknown
License: Unknown
Network access: Unknown / not assessed
Review status: Not verified

Problem it solves

This catalog entry helps users find and evaluate mermaid-to-proverif for the task described by its available catalog summary. Confirm the exact scope in the linked original source when one is available.

When to use it

Consider mermaid-to-proverif when its available catalog summary matches the task at hand. When available, review the linked original source before use for precise instructions, requirements, and limitations.

mermaid-to-proverif is listed as an agent skill in RefHub. The listed maintainer is trailofbits. The available catalog summary is: Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), c When available, review the linked original source for exact usage instructions, required tools, and limitations.

Installation and updates

These commands are displayed for copying only and are never executed on RefHub servers. Review the linked upstream source before running them.

Install command

npx skills add trailofbits/skills --skill mermaid-to-proverif -y

Agent compatibility

No compatibility test has been recorded

Do not assume agent compatibility until documented test evidence is available.