Results for “prometheus”
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
lord1egypt godmode
Bypasses safety filters on API-served LLMs using jailbreak templates, input obfuscation, and multi-model racing.
2