ProofGraph (Antigravity MCP) vs Mnemoverse Memory
ProofGraph (Antigravity MCP) lists no tools and Mnemoverse Memory lists no tools and runs remotely.
| Fact | ProofGraph (Antigravity MCP)io.github.AI-BuildInfra/proof-graph | Mnemoverse Memoryio.github.mnemoverse/mcp-memory-server |
|---|---|---|
| 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 | Remote |
| Needs first | – | – |
| Licence | MIT | MIT |
| Latest version | 1.0.0 | 0.16.0 |
| 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, oterm, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | 1,028 |
| Install | Install ProofGraph (Antigravity MCP) | Install Mnemoverse Memory |
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 Mnemoverse Memory with others