Results for “purple-knight”
2 skills
trailofbits Mermaid To Proverif
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models (.pv files) for proving security properties like secrecy, authentication, and forward secrecy.
6k · bundle
gabrielmoreira Prompt Refine
Silently restructures natural-language prompts into the format best suited for the model currently executing the skill, then answers the rewritten version.
17 · bundle