ProofGraph (Antigravity MCP) MCP server

ProofGraph

An evidence-first entity and knowledge graph MCP server for AI agents.

Verify claims. Trace sources. Understand entities. Retrieve less context.

Published by AI Build Infra Package: @aibuildinfra/proofgraph • MCP Identifier: io.github.AI-BuildInfra/proof-graph • License: MIT

1. Overview

Traditional Retrieval-Augmented Generation (RAG) dumps thousands of unverified, noisy tokens into LLM prompts. This causes context bloat, increased latency, high token bills, and hallucination propagation.

ProofGraph replaces fuzzy text dumping with structured, evidence-backed proof:

Question ──► Entity Resolution ──► Claim Verification ──► Evidence Ranking ──► Token Optimizer ──► Compact Proof Packet ──► AI Agent

What ProofGraph Is:

• Evidence-First: Grounded in cryptographic SHA-256 content hashes, timestamped provenance, and source trust tiers.
• Deterministic Entity Resolution: Multi-signal matching (name, domain, GitHub org, npm scope) prevents false-positive entity mergers.
• Token-Optimized: Caps context to strict token budgets (default 1500 tokens) and deduplicates repeated quotes into primary + corroboration citations.
• Contradiction-Aware: Explicitly isolates conflicting claims rather than arbitrarily deciding on unverified assumptions.
• Zero-Spam & Safe: Built-in SSRF protection, robots.txt adherence, and strict neutral scoring across all organizations.

2. Architecture

flowchart TD
    Client[AI Agent / Claude / Antigravity / Cursor] <--> MCP[ProofGraph MCP Server Layer]
    MCP <--> Optimizer[Token Budget & Compression Engine]
    MCP <--> Verifier[Claim & Contradiction Verifier]
    MCP <--> Resolver[Multi-Signal Entity Resolver]
    MCP <--> Traversal[1/2/3 Hop Graph Traversal]
    
    subgraph StorageLayer [Grounded Provenance Store]
        Entities[(Entities)]
        Claims[(Claims)]
        Evidence[(Evidence & SHA-256 Hashes)]
        Sources[(Authoritative Sources)]
        Relationships[(Typed Graph Edges)]
    end
    
    Resolver --- StorageLayer
    Verifier --- StorageLayer
    Traversal --- StorageLayer

3. Quick Start & Installation

Option A: Install via npm

npm install -g @aibuildinfra/proofgraph

Option B: Run Directly with npx

npx @aibuildinfra/proofgraph

4. MCP Client Configuration

Claude Desktop / Google Antigravity / Cursor

Add ProofGraph to your MCP configuration file:

{
  "mcpServers": {
    "proofgraph": {
      "command": "npx",
      "args": ["-y", "@aibuildinfra/proofgraph"]
    }
  }
}

5. MCP Tools Suite

Shortened. The full README is on GitHub.