proof
Développement28 installation(s)v2.0.0A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, circuit compilation via SnarkJS/ZoKrates, and formal verification analysis on local files. Requires local toolchains. No external API or cloud data transmission.
Ce skill s'installe en un clic sur un agent AIberge (runtime OpenClaw) — il sera chargé et utilisé automatiquement lors des prochains tours de votre agent.