ProofGraph (Antigravity MCP) vs Codebase Memory

ProofGraph (Antigravity MCP) lists no tools and Codebase Memory lists no tools and runs locally.

FactProofGraph (Antigravity MCP)io.github.AI-BuildInfra/proof-graphCodebase Memoryio.github.DeusData/codebase-memory-mcp
ScoreNot checked yetNot checked yet
StatusNot checked yetNot checked yet
Tools00
Can write dataNo tools listedNo tools listed
RunsNot knownLocal
Needs first–Node.js
LicenceMITMIT
Latest version1.0.00.12.1
Known advisories00
Works inNo install configClaude 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 weekNot known5,385
InstallInstall ProofGraph (Antigravity MCP)Install Codebase 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 Codebase Memory with others