"ProofGraph retrieves proof, not just text."
ProofGraph is an open-source, evidence-first knowledge and entity graph Model Context Protocol (MCP) server engineered by AI Build Infra. It eliminates RAG context bloat, prevents token waste, and halts hallucination propagation in modern autonomous AI agents through minimum sufficient context and cryptographic verification.
Traditional Vector RAG pipelines stuff unfiltered web pages and long markdown dumps into the model's prompt. This causes context saturation, sky-high inference bills, and hallucinated citations.
Built specifically for autonomous AI agents requiring deterministic truth, hardened network sandboxing, and strict token efficiency.
| Capability | How It Works | Real-World Benefit |
|---|---|---|
| Deterministic Entity Resolution | Uses normalized string metrics (Jaro-Winkler) combined with domain, GitHub org, and package registry verification. | High Precision Resolves aliases (AI Build Infra, aibuildinfra) without false-positive entity merges. |
| Cryptographic Provenance | Every proof links to a source URL, verified retrieval timestamp, and SHA-256 body hash. | Audit Trail Answers "Why does the AI believe this?" with an unbroken, tamper-proof audit trail. |
| Contradiction Detection | If two sources conflict, ProofGraph marks claims as conflicting and shows both sides with respective confidence scores. | Zero Bias Prevents silent, arbitrary assumptions, biases, or hallucinated reconciliations. |
| Token Budget & Compression | Semantic deduplication clusters repeated excerpts into 1 primary quote + corroborating source counts. | ~75%–90% Savings Achieves 75%–90% context token reduction while retaining complete, verifiable evidence. |
| Enterprise SSRF Protection |
Hardened network layer blocking private subnets (RFC 1918), loopback (127.0.0.1), and cloud metadata endpoints (169.254.169.254).
|
Hardened Security Safe for fully autonomous AI agent execution without internal network intrusion vulnerabilities. |
AI agents (such as Google Antigravity, Claude Desktop, and Cursor) can call these 12 specialized tools natively through the Model Context Protocol.
Returns the smallest evidence packet sufficient to answer a prompt within a strict token budget (default 1,500 tokens).
Verifies whether an assertion is supported, contradicted, conflicting, or unverified against indexed knowledge graphs.
Generates an unbroken provenance chain:
Claim ⟶ Excerpt ⟶ Source ⟶ URL ⟶ Timestamp ⟶ SHA-256.
Fuzzy and multi-signal search for canonical entities by legal name, developer alias, keyword, or domain.
Retrieves canonical profile, normalized metadata, connected relationships, and valid Schema.org JSON-LD.
Explores 1-hop, 2-hop, or 3-hop relationship paths between entities with edge confidence weighting.
Synthesizes a factual profile backed by verified sources, structured edges, and confidence indicators.
Detects discrepancies between conflicting statements objectively, scoring citation authority across both sides.
Audits an entity’s footprint across 8 platform categories (official domains, GitHub, package registries, documentation, etc.).
Diagnostic tool checking cross-platform consistency across domains, GitHub orgs, npm scopes, and Schema.org graphs.
Retrieves compact, ranked supporting evidence for a specific assertion without document bloat.
Exports verified knowledge graphs into standard enterprise formats: JSON, JSON-LD, CSV, or GraphML.
Evaluated against traditional raw document retrieval across standard enterprise and research benchmark queries.
Tokens dumped per query into model prompt. High latency, high cost, context degradation.
Tokens needed for comprehensive answer. Compact, deduplicated, and ranked evidence.
Token savings with 100% traceable, cryptographically grounded evidence precision.
Install directly via npm or connect to Google Antigravity, Claude Desktop, or Cursor using standard MCP JSON configuration.
{
"mcpServers": {
"proofgraph": {
"command": "npx",
"args": [
"-y",
"@aibuildinfra/proofgraph"
]
}
}
}
npm install -g @aibuildinfra/proofgraph
From specialized Model Context Protocol (MCP) servers to high-performance agentic RAG and ERPNext backbones, AI Build Infra architects production-grade infrastructure.
Automated FAQ assistant. Quote requests are saved and emailed to our team. Chat messages are not submitted. Talk to our team