This is the bridge between Claude and Proof's collaborative markdown editor. It handles two workflows: sharing a doc to the web for async review (no install needed), or running a full human-in-the-loop cycle where you push a local markdown file to Proof, wait for comments and edits from a human reviewer, then sync the final version back to disk. The latter is the main event and gets called explicitly ("HITL this spec") or handed off from brainstorm and planning skills. The implementation is careful about attribution, baseToken discipline, and edit narrowness. It knows not to rewrite entire documents when a targeted block edit or find-replace will do, and it treats 4xx errors as ambiguous until verified by re-reading state.
- skills.sh installs
- 3.1K
- GitHub stars
- 26K
- last updated
- Aug 21, 2026
Install
$ npx -y skills add everyinc/compound-engineering-plugin --skill ce-proof --agent claude-codeInstalls into .claude/skills of the current project.
Files
Proof - Collaborative Markdown Editor
Proof is a collaborative document editor for humans and agents. It is reached through the hosted web API at https://www.proofeditor.ai, over HTTP from Bash.
Outcome: the user holds a working tokenized Proof link, or the doc carries the read, comment, suggestion, or edit they asked for.
Done: the operation is confirmed at its own level, and the user has the result plus a short summary. A create is confirmed by the tokenUrl it returned. A mutation is confirmed by ok: true; on a 202 or a partial: true response, confirm by re-reading v3/document. A pull is confirmed by the local file it wrote, and a read by the content it returned.
Read references/api.md before the first Proof read or mutation, HTTP or MCP. It defines the endpoints: share/markdown, the v3 document and edit endpoints, presence, title, and DELETE /api/documents/<slug>. It also carries the operation tables, the error and retry classes, and the curl permission hint for Claude Code.
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageDetails
- Repository
- github.com/everyinc/compound-engineering-plugin
- Categories
- Release Management, Productivity & Planning
- First seen
- Jun 3, 2026
More from everyinc/compound-engineering-plugin
All 78- Ce Strategy3.1K
- Ce Test Xcode3K
- Ce Product Pulse3K
- Ce Riffrec Feedback Analysis2.9K
- Coding Tutor2.5K
- Ce Sessions1.8K
- Ce Update1.8K
- Ce Work Beta1.8K
- Ce Demo Reel1.8K
- Ce Slack Research1.8K
- Ce Agent Native Architecture1.8K
- Ce Frontend Design1.8K
- Ce Dhh Rails Style1.8K
- Ce Release Notes1.8K
- Ce Clean Gone Branches1.7K
- Ce Gemini Imagegen1.7K
- Ce Agent Native Audit1.7K
- Ce Report Bug1.7K
- Compound Docs1.5K
- Ce Polish Beta1K
- Dhh Rails Style716
- Frontend Design638
- Git Worktree634
- Gemini Imagegen633
Recommended
More Release Management
functionsbrowserbase/skillsDeploy serverless browser automation as cloud functions using Browserbase. Use when the user wants to deploy browser automation to run on a schedule or cron, cr2.9Kskills.sh installs
blog-seo-checkagricidaniel/claude-blogPost-writing SEO validation with pass/fail checklist covering title tag length and keyword placement, meta description quality, heading hierarchy and keyword de2.8Kskills.sh installs
update-swiftui-apisavdlee/swiftui-agent-skillScan Apple's SwiftUI documentation for deprecated APIs and update the SwiftUI Expert Skill with modern replacements. Use when asked to "update latest APIs", "re2.4Kskills.sh installs
edgeoneaahl/skillsDeploy HTML content to EdgeOne Pages, return the public URL.2.3Kskills.sh installs
protocolsio-integrationk-dense-ai/scientific-agent-skillsRead, validate, and safely export protocols.io data with current official REST/MCP contracts, or create non-executing mutation plans. The bundled client makes b2Kskills.sh installs
build-modelsreplicate/skillsPackage and build custom AI models with Cog for deployment on Replicate. Use when creating a cog.yaml or predict.py, defining model inputs and outputs, loading 2Kskills.sh installs