{"skill":{"slug":"proofeditor","displayName":"Proof","summary":"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...","tags":{"latest":"1.0.0"},"stats":{"comments":0,"downloads":270,"installsAllTime":1,"installsCurrent":1,"stars":0,"versions":1},"createdAt":1773258443984,"updatedAt":1777525872187},"latestVersion":{"version":"1.0.0","createdAt":1773258443984,"changelog":"- Major update: Proof skill now deeply integrates with proofeditor.ai for collaborative Markdown editing and shared document workflows.\n- SKILL.md rewritten with new instructions for joining, editing, presence, and error handling in web-based Proof docs.\n- Adds detailed API usage examples, including joining docs via URL, creating shared documents, editing strategies, and managing comments/suggestions.\n- Clarifies boundary rules: local markdown remains local unless user requests Proof; do not replace local docs silently.\n- Removes old formal verification/zero-knowledge proof-focused design and documentation.","license":"MIT-0"},"metadata":{"os":null,"systems":null},"owner":{"handle":"dshipper","userId":"publishers:dshipper","displayName":"Dan Shipper","image":"https://avatars.githubusercontent.com/u/263564?v=4"},"moderation":null}