Results for “crypto”
4 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
demerzels-lab clawp
Generates creative launch blueprints for memecoins on pump.fun, including names, symbols, narratives, and buyback plans, with built-in safety guardrails.
10 · bundle
More results
johnalbertini14-glitch clawp
Generates creative launch blueprints for memecoins on pump.fun, including names, symbols, narratives, and buyback plans, with safety guardrails and mandatory disclaimers.
1 · bundle
kbarbel640-del clawp
Generates creative launch blueprints for memecoins on pump.fun, including names, symbols, narratives, visual themes, and buyback strategies, with safety guardrails and mandatory disclaimers.
1 · bundle