Mermaid To Proverif
by trailofbits82fe82262526No license7.4K starsListed Oct 8, 2026Updated Oct 8, 2026Repository updated yesterday
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.
Only the file list is public. File contents are available once the skill is installed in a workspace.
| Path | Size | Type |
|---|---|---|
| agents/openai.yaml | 249 B | application/yaml |
| assets/trail-of-bits-mark.svg | 3 KB | text/plain |
| examples/simple-handshake/diagram.md | 1.8 KB | text/markdown |
| examples/simple-handshake/sample-output.pv | 9.3 KB | text/plain |
| references/crypto-to-proverif-mapping.md | 10.1 KB | text/markdown |
| references/proverif-syntax.md | 13.8 KB | text/markdown |
| references/security-properties.md | 11.6 KB | text/markdown |
| SKILL.md | 17.9 KB | text/markdown |
Source and attribution
Source:trailofbits/skillsinplugins/trailmark/skills/mermaid-to-proverifat commit82fe822
License: No license
Content belongs to its original authors. SourceWeft indexes it from a public repository.
More from trailofbits/skills
Vector Forge
trailofbits
Generates cryptographic test vectors by mutation testing implementations to find uncovered code paths.
Wycheproof
trailofbits
Guides testing cryptographic implementations against Project Wycheproof test vectors for known attacks and edge cases.
Ruzzy
trailofbits
Guides setup and use of Ruzzy, Trail of Bits' coverage-guided fuzzer for Ruby code and C extensions.
Ossfuzz
trailofbits
Guides enrolling an open-source project in OSS-Fuzz and running fuzzing harnesses locally via helper.py.
Libfuzzer
trailofbits
Guides setting up and running libFuzzer on C/C++ code, covering harnesses, builds, corpora, sanitizers and triage.
Trailmark
trailofbits
Builds and queries multi-language source and binary code graphs for security analysis and audit prioritization.
More in Security
Kyc Rules
anthropics
Applies a firm's KYC/AML rules grid to a parsed onboarding record, scoring risk and routing outcomes.
Compliance Tracking
anthropics
Tracks compliance requirements, audit readiness, and evidence for frameworks such as SOC 2, ISO 27001, GDPR, HIPAA, and PCI DSS.
Dpop Adoption
Guides implementation of OAuth 2.0 DPoP (RFC 9449) sender-constrained refresh tokens for Google's OAuth platform.
Secops Triage
Guides SOC analysts through triaging Google SecOps security alerts, from investigation to closure or escalation.
Secops Investigate
Guides SOC analysts through deep security incident and entity investigations in Google SecOps using UDM queries and timelines.
Secops Hunt
Guides proactive threat hunting in Google SecOps using UDM queries, IoC lookback, prevalence and outlier analysis.