Real Skill packageSource verifiedClawHub registry

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.

Identity and source

Publisher attributionagenticioregistry owner unverified by skillvetai
Functional categorySearch, Research & Knowledgeautomatically inferred · 59% rule confidence
Package forminstruction with code5 recorded files
Canonical sourceClawHub registryclawhub:agenticio:proof
Open canonical source ↗

Platform declarations

These states come from the source or distribution context. None of the entries below are SkillVetAI compatibility test results.

OpenClawnative officialProvenance: registry distribution

Independent structural checks

These checks parse the fixed package against dated platform rules. They do not execute the Skill or verify task behavior.

Claude Codepasses structure
Checker 0.1.0 · agent-skills-2026-08-13+claude-code-docs-2026-08-13 · 9/11/2026.claude/skills/proof

Runtime, accounts, dependencies, permissions, network behavior and task quality remain untested.

OpenAI Codexpasses structure
Checker 0.1.0 · agent-skills-2026-08-13+codex-docs-2026-08-13 · 9/11/2026.agents/skills/proof

Runtime, accounts, dependencies, permissions, network behavior and task quality remain untested.

OpenClawpasses structure
Checker 0.1.0 · agent-skills-2026-08-13+openclaw-docs-2026-08-13 · 9/11/2026skills/proof

Runtime, accounts, dependencies, permissions, network behavior and task quality remain untested.

Installation and inspection

This command is recorded from the source ecosystem and resolves the registry's latest release. The fixed release shown on this page should be inspected before adoption.

clawhub install @agenticio/proof
clawhub inspect @agenticio/proof --version 2.0.0

Security evidence

SkillVetAI static result: no findings detected

This automated, non-executing scan is bound to this release hash. It is not a safety certification and may contain false positives or false negatives.

Status
completed
Coverage
full text content
Files
5 / 5 inspected as text
Checked
9/11/2026, 4:32:37 PM
Scanner
0.1.3
Policy
1.0.3
2 inferred permission indicators
  • shell execution — automatically inferred
  • network access — automatically inferred
1 dependency and API indicators
  • api: clawhub.ai
External clawhub result: clean

This is registry-supplied evidence for the recorded release, not an independent SkillVetAI scan. Check the canonical source for the full report, scanner versions, scope, and current moderation state.

Evidence checked
9/11/2026, 11:53:16 AM
Release binding
Matches this record
  • vt: clean
  • skillspector: suspicious
  • llm: clean

Recorded files

The catalog stores hashes and an inventory summary for change detection. It does not republish the package contents.

Package content hashsha256:45b8764b78d78e1e0fc2abfe39f04574adca7c3cb069c01fe78f3549d41045a3
Show up to 5 recorded paths
  • requirements.txt
  • scripts/verify_lib.py
  • scripts/zkp_tool.py
  • skill-card.md
  • skill.md

Source changelog

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.