Discoverypublic
mermaid-to-proverif
trailofbits/skills
A public agent skill indexed from skills.sh. Review the source package before installing mermaid-to-proverif into an agent runtime.
MermaidProverifTrailofbitsSkills
2.2K
Installs
6
Agents
Use cases
Add mermaid-to-proverif to an agent workspace from trailofbits/skills.
Compare install volume and recent weekly activity before adoption.
Review the public source package before using it in a project.
Compatible agents
Claude CodeCodexCursorGitHub CopilotWindsurfGemini
Review before install
Inspect the repository and SKILL.md before installation.
Keep credentials, customer data, and private project context out of public skills.