ClawHub

proof

v2.0.1

A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, circuit compilation via SnarkJS/ZoKrates, and formal verification analys...

⭐ 0· 353·3 current·4 all-time
by@agenticio

Install

OpenClaw Prompt Flow

Install with OpenClaw

Best for remote or guided setup. Copy the exact prompt, then paste it into OpenClaw for agenticio/proof.

Previewing Install & Setup.
Prompt PreviewInstall & Setup
Install the skill "proof" (agenticio/proof) from ClawHub.
Skill page: https://clawhub.ai/agenticio/proof
Keep the work scoped to this skill only.
After install, inspect the skill metadata and help me finish setup.
Use only the metadata you can verify from ClawHub; do not invent missing requirements.
Ask before making any broader environment changes.

Command Line

CLI Commands

Use the direct CLI path if you want to install manually and keep every step visible.

OpenClaw CLI

Bare skill slug

openclaw skills install proof

ClawHub CLI

Package manager switcher

npx clawhub@latest install proof
Security Scan
VirusTotalVirusTotal
Benign
View report →
OpenClawOpenClaw
Benign
high confidence
✓
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.
Assessment
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.

Like a lobster shell, security has layers — review code before you run it.

latestvk978xa593s6w33n7m91paeabb9831m1t
353downloads
0stars
3versions
Updated 1mo ago
v2.0.1
MIT-0
@agenticio
latest
Download

PROOF 2.0: The Execution Layer

I. System Capability

Proof is now a functional engine for local cryptographic operations. It interfaces with your local environment to provide mathematical certainty.

Key Operations:

  • proof.zkp_gen: Compiles circuits and generates proofs locally.
  • proof.formal_check: Runs static analysis and formal verification templates on code.
  • proof.audit: Generates a cryptographic manifest for local project files.

II. Local Environment Requirements

  • Node.js & SnarkJS (ZKP)
  • ZoKrates (optional)
  • Python 3.10+ (glue scripts)

III. Usage & Examples

User: "Generate a ZKP for this statement: x * y = 12."
Agent: (Calls scripts/zkp_tool.py) -> "Compiling circuit... generating witness... proof.json created in `~/.openclaw/workspace/proof/`."

User: "Run a formal check on my Solidity contract."
Agent: (Calls scripts/verify_lib.py) -> "Scanning for reentrancy and integer overflow... Result: PASS."

IV. Security & Privacy

  • Local-only computation
  • Workspace isolation (`~/.openclaw/workspace/proof/`)
  • No persistent daemons or background processes
  • No credentials requested or transmitted

Comments

Loading comments...