← Back to Skills Marketplace
362
Downloads
0
Stars
3
Active Installs
3
Versions
Install in OpenClaw
/install proof
Description
A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, circuit compilation via SnarkJS/ZoKrates, and formal verification analys...
Usage Guidance
This skill appears coherent and local-only, but take these precautions before installing: (1) confirm you trust and/or inspect the bundled scripts (they currently have commented-out subprocess calls that would execute local CLIs if enabled); (2) ensure you have the required local toolchain (node/snarkjs/zokrates/python) installed from trusted sources; (3) be aware the skill will create and read/write files under ~/.openclaw/workspace/proof, so check file permissions and contents it generates; (4) if you plan to enable or modify the scripts to run external CLIs, review those commands to ensure they don't invoke unexpected network or privileged operations.
Capability Analysis
Type: OpenClaw Skill
Name: proof
Version: 2.0.1
The 'proof' skill bundle is a local-first cryptographic toolkit for ZKP generation and formal verification. The provided Python scripts (verify_lib.py and zkp_tool.py) contain harmless logic and commented-out placeholders for standard industry tools like SnarkJS and Slither. The skill.json configuration explicitly restricts permissions, disabling network access and environment variable reading, which aligns with the stated privacy goals.
Capability Assessment
Purpose & Capability
Name/description, declared required binaries (node, snarkjs, zokrates, python3), and the two small scripts (zkp_tool.py, verify_lib.py) are consistent with a local ZKP/formal-check toolkit. The presence of optional ZoKrates and SnarkJS aligns with the stated purpose.
Instruction Scope
SKILL.md instructs the agent to call the included scripts and operate in the declared workspace (~/.openclaw/workspace/proof). The scripts only read/write local files and create a workspace directory; there are no instructions to read unrelated system files, environment variables, or transmit data externally. Commented-out subprocess calls show where local CLIs (snarkjs, slither, zokrates) would be used—this is expected for the stated purpose.
Install Mechanism
No install spec is provided (instruction-only behavior), and the included Python scripts are small. The skill does not download or extract code from remote URLs. Required toolchains are declared but not installed by the skill, which is appropriate for a local-toolchain-dependent skill.
Credentials
The skill requires no environment variables or credentials and the skill.json permissions explicitly disable network and environment variable access. That matches the claim of local-only computation.
Persistence & Privilege
always is false and the skill does not request system-wide modifications or persistent daemons. Autonomous invocation is allowed by default but is not combined with elevated privileges or broad credential access.
How to Use
- Make sure OpenClaw is installed (local or Docker)
- Run the install command in chat:
/install proof - After installation, invoke the skill by name or use
/proof - Provide required inputs per the skill's parameter spec and get structured output
Version History
v2.0.1
- Added skill.json file to the project.
- No other changes to code or documentation.
v2.0.0
Proof 2.0.0 introduces a powerful local cryptographic engine and formal verification toolkit.
- Added local execution of zero-knowledge proof (ZKP) generation and circuit compilation using SnarkJS/ZoKrates.
- Introduced static analysis and formal verification checks for project code.
- Implemented cryptographic manifest auditing of local files.
- All computations run locally—no cloud or external API data transmission.
- Added requirements for Node.js, SnarkJS, Python 3.10+, and (optionally) ZoKrates.
- Workspace isolation for enhanced security and privacy.
v1.0.0
Initial truth protocol release
Metadata
Frequently Asked Questions
What is proof?
A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, circuit compilation via SnarkJS/ZoKrates, and formal verification analys... It is an AI Agent Skill for Claude Code / OpenClaw, with 362 downloads so far.
How do I install proof?
Run "/install proof" in the OpenClaw or Claude Code chat to install it in one step — no extra setup required.
Is proof free?
Yes, proof is completely free, licensed under MIT-0. You can download, install and use it at no cost.
Which platforms does proof support?
proof is cross-platform and runs anywhere OpenClaw / Claude Code is available (cross-platform).
Who created proof?
It is built and maintained by agenticio (@agenticio); the current version is v2.0.1.
More Skills