ProofGraph (Antigravity MCP) vs Memanto
ProofGraph (Antigravity MCP) lists no tools and Memanto lists no tools and runs locally.
| Fact | ProofGraph (Antigravity MCP)io.github.AI-BuildInfra/proof-graph | Memantoio.github.moorcheh-ai/memanto |
|---|---|---|
| Score | Not checked yet | Not checked yet |
| Status | Not checked yet | Not checked yet |
| Tools | 0 | 0 |
| Can write data | No tools listed | No tools listed |
| Runs | Not known | Local |
| Needs first | – | uv |
| Licence | MIT | MIT |
| Latest version | 1.0.0 | 0.1.4 |
| Known advisories | 0 | 0 |
| Works in | No install config | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, mcp-client-cli, oterm, TUUI, BoltAI, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | Not known |
| Install | Install ProofGraph (Antigravity MCP) | Install Memanto |
Scores and status come with our own checks, which have not run on these servers yet. The rest is from the publishers' registry entries, package registries and advisory databases.
Compare ProofGraph (Antigravity MCP) with othersCompare Memanto with others