proof
A 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.
Best use case
proof is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
A 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.
Teams using proof should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/proof/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How proof Compares
| Feature / Agent | proof | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
A 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.
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
Related Guides
AI Agents for Coding
Browse AI agent skills for coding, debugging, testing, refactoring, code review, and developer workflows across Claude, Cursor, and Codex.
Best AI Skills for ChatGPT
Find the best AI skills to adapt into ChatGPT workflows for research, writing, summarization, planning, and repeatable assistant tasks.
AI Agent for Product Research
Browse AI agent skills for product research, competitive analysis, customer discovery, and structured product decision support.
SKILL.md Source
# 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
Related Skills
mathproofs-claw
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
trendproof
Query TrendProof (trendproof.dev) for keyword trend velocity scores. Returns velocity score, trend direction (rising/stable/falling), monthly search volume, CPC, peak window, and action hint. Supports single keyword analysis, batch comparison (up to 5 keywords ranked by velocity), and related keyword discovery. Use when a user asks about keyword trends, whether a topic is rising or falling, content timing, wants to compare niches, or needs similar keyword suggestions.
---
name: article-factory-wechat
humanizer
Remove signs of AI-generated writing from text. Use when editing or reviewing text to make it sound more natural and human-written. Based on Wikipedia's comprehensive "Signs of AI writing" guide. Detects and fixes patterns including: inflated symbolism, promotional language, superficial -ing analyses, vague attributions, em dash overuse, rule of three, AI vocabulary words, negative parallelisms, and excessive conjunctive phrases.
find-skills
Helps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express interest in extending capabilities. This skill should be used when the user is looking for functionality that might exist as an installable skill.
tavily-search
Use Tavily API for real-time web search and content extraction. Use when: user needs real-time web search results, research, or current information from the web. Requires Tavily API key.
baidu-search
Search the web using Baidu AI Search Engine (BDSE). Use for live information, documentation, or research topics.
agent-autonomy-kit
Stop waiting for prompts. Keep working.
Meeting Prep
Never walk into a meeting unprepared again. Your agent researches all attendees before calendar events—pulling LinkedIn profiles, recent company news, mutual connections, and conversation starters. Generates a briefing doc with talking points, icebreakers, and context so you show up informed and confident. Triggered automatically before meetings or on-demand. Configure research depth, advance timing, and output format. Walking into meetings blind is amateur hour—missed connections, generic small talk, zero leverage. Use when setting up meeting intelligence, researching specific attendees, generating pre-meeting briefs, or automating your prep workflow.
self-improvement
Captures learnings, errors, and corrections to enable continuous improvement. Use when: (1) A command or operation fails unexpectedly, (2) User corrects Claude ('No, that's wrong...', 'Actually...'), (3) User requests a capability that doesn't exist, (4) An external API or tool fails, (5) Claude realizes its knowledge is outdated or incorrect, (6) A better approach is discovered for a recurring task. Also review learnings before major tasks.
botlearn-healthcheck
botlearn-healthcheck — BotLearn autonomous health inspector for OpenClaw instances across 5 domains (hardware, config, security, skills, autonomy); triggers on system check, health report, diagnostics, or scheduled heartbeat inspection.
linkedin-cli
A bird-like LinkedIn CLI for searching profiles, checking messages, and summarizing your feed using session cookies.