How do I install ProofGraph (Antigravity MCP)?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is ProofGraph (Antigravity MCP) official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

How is the trust score calculated?

This listing scores 35 (Limited). The formula is published on the methodology page.

MCPpedia

ProofGraph (Antigravity MCP) MCP Server | MCPpedia

ProofGraph (Antigravity MCP) MCP Server

Name: ProofGraph (Antigravity MCP) MCP Server
Author: ai-buildinfra

Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.

Tools Versions Alternatives

Registryai-buildinfra

35Limited

Install

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "ai-buildinfra-proof-graph": {
      "command": "npx",
      "args": [
        "-y",
        "@aibuildinfra/proofgraph@1.0.0"
      ]
    }
  }
}

Install guide

Related servers

Codebase Memory

77Good

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

Registrydeusdata46.7K stars

Firecrawl MCP Server

77Good

MCP server for Firecrawl — web search, scraping, and biomedical/arXiv paper search.

ProofGraph (Antigravity MCP) MCP Server

Install

Related servers

Codebase Memory

Firecrawl MCP Server

Environment

Tools

About

FAQ

Reviews

Zotero MCP

haiku.rag

Astria

M3 Memory