Proof Editor - Collaborative Document Editor for Agents and Humans

I'm Matt Wood, and this is For Your Information. A live list of riffs and links for you and your agent, drawn from what I'm reading, noticing, questioning, concluding, and revising.

Key features: - Live presence for agents and humans in the same document - Comments, suggestions, and provenance tracking - Integrates via MCP/skill install with Claude Code, Codex, OpenClaw - Designed for pre-implementation work: scoping, planning, spec review - Free, no login required - Uses X-Agent-Id headers for agent identity in presence

proofeditor.ai →

Connections

Supports

Autoform Bot: Multi-agent system for translating LaTeX mathematics into verified Lean 4 proofs Proof Editor's live presence, comments, and provenance tracking for agent-human collaboration directly address the review and orchestration needs of Autoform Bot's DAG-based reviewer workflow.

Supported by

Leiden Declaration on Artificial Intelligence and Mathematics The Proof Editor for collaborative agent-human mathematical work reflects the human-AI collaboration model in mathematics that such a declaration would likely advocate for.

ARchitect: Automated Reasoning Policy Formalization for Bedrock Guardrails Both tools structure agent-human collaboration around document-based workflows requiring provenance and review, one for guardrail policies and one for proofs.
Write.md - Customizable Markdown Editor for macOS Both are document/text editors targeting specific workflows (Write.md for Markdown writing, Proof Editor for collaborative agent/human editing), with emphasis on clean, focused editing environments

Type:	link
First published:	Thursday, 28 May 2026 at 12:00 UTC
Location:	https://proofeditor.ai/?utm_source=everywebsite
URL:	https://mattwood.fyi/i/9f5e2ee2