{"slug":"trailofbits-mermaid-to-proverif","source_name":"trailofbits/mermaid-to-proverif","name":"Trailofbits/Mermaid To Proverif","description":"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), checking for replay attacks, or producing a .pv file from a sequence diagram.","version":1,"lift":{"pass_rate_delta_pts":9.09,"pass_rate_pct":72.7,"total_cases":22,"passed_cases":16,"tokens_delta_pct":171.6,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-07T16:15:03.479506+00:00"},"skill_score":0.7273,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":9.09,"with_pass_pct":72.7,"without_pass_pct":63.6,"tokens_delta_pct":171.6,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":18,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-07T16:15:03.479506+00:00","run_id":"454428d1-5b14-4eca-aad1-6987dea3ac86","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"CC-BY-SA-4.0","install_count":0,"manifest_hash":"1952039bbfc0edb87e5568d368df59d6b7e8319a775d8c582c28172f976b6345","raw_url":"https://app.decimal.ai/s/trailofbits-mermaid-to-proverif/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/trailofbits-mermaid-to-proverif"}