skills.shby @trailofbits

mermaid-to-proverif

Name: mermaid-to-proverif
Availability: InStock
Author: trailofbits

mermaid-to-proverif — an installable skill for AI agents, published by trailofbits/skills.

copies: implexa run skills.sh/mermaid-to-proverif

view source

installs

stars

karma

full SKILL.md lives at the source

we've indexed the metadata for this skill but the body is fetched on demand. click "view source" above to read the canonical SKILL.md on skills.sh, or "run inline in claude" to apply it without leaving your session.

read on skills.sh

related skills

semantically similar in the cross-vendor index

clawhub

52% match

Verigent

Verify the reputation of any AI agent or skill before transacting. Now includes isnad-style chain-of-custody provenance for skills. Powered by Verigent — the...

don't have the plugin yet? install it then click "run inline in claude" again.