>_Skillful
Need help with advanced AI agent engineering?Contact FirmAdapt
proofmath-owner

proofmath-owner

@proofmath-owner

On GitHub since March 2025

2

Published Tools

8

Total Stars

0

Weekly Downloads

0

GitHub Followers

4

Public Repos

100/100

Avg Security

Published Tools

1 MCP Server1 Agentacross 2 categories

proofmath-owner

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.

...more
Agentai
61 dir

proofmath-owner

MCP (Model Context Protocol) server for Xcode integration with AI assistants

MCP Serveruncategorised
21 dir