← Back to Skills Marketplace
Proof
by
Dan Shipper
· GitHub ↗
· v1.0.0
· MIT-0
263
Downloads
0
Stars
1
Active Installs
1
Versions
Install in OpenClaw
/install proofeditor
Description
Web-first skill for working with Proof documents via proofeditor.ai. Use when a Proof URL is shared, when creating collaborative docs in Proof, or when the u...
Usage Guidance
This skill appears to be a straightforward integration with proofeditor.ai and does not ask for unrelated credentials or installs. Two practical things to consider before enabling: (1) the agent will by default join a shared Proof URL immediately and present itself (X-Agent-Id/by fields) — if you prefer to confirm with the user before joining or sharing presence, disable automatic use or ask the agent to prompt first; (2) the skill tells the agent to save returned access tokens/URLs but doesn't specify where or for how long; ensure you understand how your agent stores such tokens if you have policies about persisting third-party share tokens.
Capability Analysis
Type: OpenClaw Skill
Name: proofeditor
Version: 1.0.0
The skill bundle provides instructions and API examples for an AI agent to interact with proofeditor.ai, a collaborative markdown editor. It includes explicit safety boundaries to prevent the unauthorized movement of local repository files to the cloud and uses standard REST API patterns for document management, presence tracking, and collaborative editing. No malicious intent, obfuscation, or data exfiltration behaviors were identified in SKILL.md or _meta.json.
Capability Assessment
Purpose & Capability
Name/description match the instructions: the SKILL.md exclusively describes HTTP interactions with https://www.proofeditor.ai, joining docs, reading state, creating docs, and applying edits — all appropriate for a Proof integration.
Instruction Scope
Instructions stay within the stated purpose (use Proof API endpoints, manage presence, apply edits). One behavior to note: the skill instructs the agent to 'join the doc immediately' when a Proof URL is shared and to 'save' returned tokens/URLs; this is consistent with the integration but may surprise users who expect explicit confirmation before joining or persisting share tokens.
Install Mechanism
Instruction-only skill with no install spec and no code files — nothing is written to disk or downloaded during install.
Credentials
No required environment variables, binaries, or unrelated credentials are requested. The skill expects sharing tokens embedded in Proof URLs (Authorization header, x-share-token or ?token), which is proportional to its function.
Persistence & Privilege
always is false and the skill does not request elevated or persistent platform privileges. It does instruct agents to save slug/accessToken/shareUrl/tokenUrl/_links after creating a doc; the destination and lifetime of that saved data are not specified in the SKILL.md, but saving those values is a normal part of managing shared doc sessions.
How to Use
- Make sure OpenClaw is installed (local or Docker)
- Run the install command in chat:
/install proofeditor - After installation, invoke the skill by name or use
/proofeditor - Provide required inputs per the skill's parameter spec and get structured output
Version History
v1.0.0
- Major update: Proof skill now deeply integrates with proofeditor.ai for collaborative Markdown editing and shared document workflows.
- SKILL.md rewritten with new instructions for joining, editing, presence, and error handling in web-based Proof docs.
- Adds detailed API usage examples, including joining docs via URL, creating shared documents, editing strategies, and managing comments/suggestions.
- Clarifies boundary rules: local markdown remains local unless user requests Proof; do not replace local docs silently.
- Removes old formal verification/zero-knowledge proof-focused design and documentation.
Metadata
Frequently Asked Questions
What is Proof?
Web-first skill for working with Proof documents via proofeditor.ai. Use when a Proof URL is shared, when creating collaborative docs in Proof, or when the u... It is an AI Agent Skill for Claude Code / OpenClaw, with 263 downloads so far.
How do I install Proof?
Run "/install proofeditor" 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 Dan Shipper (@dshipper); the current version is v1.0.0.
More Skills