← Directory

proofmath-owner

GitHub · 1 post · github.com ↗

MCP Server 6

Your AI agent's Edit isn't atomic. This MCP makes it so — atomic multi-file changes with rollback for Claude Code, Codex CLI, Cursor agents.

TypeScript MIT Updated 2mos ago