ProofGraph (Antigravity MCP)

💡 ProofGraph を選ぶ理由

従来の検索拡張生成（RAG）は、ノイズの多い HTML、サイドバー、重複した段落からなる未検証の5,000〜20,000トークンを LLM のプロンプトに大量に投入します。その結果、コンテキストの肥大化、トークンコストの上昇、レイテンシーの急増、ハルシネーションの増幅を招きます。

ProofGraph は、あいまいなテキストの大量投入を、暗号学的な出典情報に裏付けられた最小限かつ十分なコンテキストに置き換えます。

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

🎯 ProofGraph が取得するのは、単なるテキストではなく証拠です。

---

✨ 主な機能

機能	説明	メリット
🛡️ エビデンスファーストの検証	暗号学的な SHA-256 ハッシュとタイムスタンプ付きの引用	根拠のないハルシネーションを排除
🔍 複数シグナルによるエンティティ解決	Jaro-Winkler、ドメイン、GitHub 組織、npm スコープを組み合わせ	誤った統合を避けながらエイリアスを解決
⚡ トークン予算オプティマイザー	厳密な予算上限（500〜5,000トークン）を適用	コンテキストを約90.7％削減
🪢 矛盾の検出	矛盾する情報源を検出し、透明性を保って提示	中立で偏りのない論争分析
🌐 12種類のネイティブ MCP ツール	パケット、トラバーサル、監査、Schema.org JSON-LD 向けのツール	Claude、Antigravity、Cursor にすぐに追加可能
🔒 エンタープライズ向け SSRF 対策	ループバック、RFC 1918 サブネット、クラウドメタデータへのアクセスをブロック	エージェントによる自動実行でも安全

---

🚀 クイックスタート

1. npx ですぐに実行

インストールは不要です：

npx -y @aibuildinfra/proofgraph

2. npm でグローバルにインストール

npm install -g @aibuildinfra/proofgraph

---

🤖 MCP クライアントの設定

Claude Desktop / Google Antigravity / Cursor

MCP 設定ファイル（claude_desktop_config.json または Antigravity／Cursor の MCP 設定）に ProofGraph を追加します。

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

---

🛠️ MCP ツールスイート

ProofGraph は、検証と情報取得のための強力なツールを12種類、AI エージェントに提供します。

┌────────────────────────────────────────────────────────────────────────────┐
│                            PROOFGRAPH MCP TOOLS                            │
├─────────────────────────┬──────────────────────────────────────────────────┤
│ get_evidence_packet     │  Primary retrieval: Minimal sufficient proof    │
│ search_entities         │  Multi-signal fuzzy & alias entity matching      │
│ get_entity              │  Canonical record, relationships & Schema.org    │
│ verify_claim            │  Verify assertions against cryptographic proof   │
│ find_evidence           │  Token-budgeted evidence extraction for a claim  │
│ find_relationships      │  1-hop, 2-hop, 3-hop graph traversal paths       │
│ explain_entity          │  Concise factual entity profile & key edges      │
│ trace_claim             │  Step-by-step provenance audit trail             │
│ compare_claims          │  Impartial discrepancy detection across claims   │
│ analyze_web_presence    │  Digital footprint analysis across 8 platforms   │
│ audit_entity_consistency│  Detect mismatches in names, domains & metadata │
│ export_graph            │  Export graph to JSON, JSON-LD, CSV, GraphML     │
└─────────────────────────┴──────────────────────────────────────────────────┘

例：エビデンスファーストの回答パケット

AI エージェントが次のように問い合わせると、

{
  "question": "Is AI Build Infra associated with HumanCraft and ProofGraph?"
}

ProofGraph は、引用を根拠とする簡潔なエビデンスパケットを返します。

{
  "entities": [
    {
      "id": "entity:organization:ai-build-infra",
      "name": "AI Build Infra",
      "canonical_url": "https://aibuildinfra.com/"
    }
  ],
  "claims": [
    {
      "claim": "AI Build Infra develops MCP servers and open-source agent tooling.",
      "status": "supported",
      "confidence": 0.98
    }
  ],
  "relationships": [
    { "source_id": "entity:organization:ai-build-infra", "relationship": "DEVELOPS", "target_id": "entity:project:proofgraph" },
    { "source_id": "entity:organization:ai-build-infra", "relationship": "DEVELOPS", "target_id": "entity:project:humancraft" }
  ],
  "evidence": [
    {
      "source": "MCP Registry",
      "url": "https://registry.modelcontextprotocol.io/servers/io.github.AI-BuildInfra/humancraft-ui",
      "excerpt": "Server identifier io.github.AI-BuildInfra/humancraft-ui registered under AI Build Infra publisher identity.",
      "confidence": 0.99
    }
  ],
  "provenance": [
    {
      "source_id": "source:registry:mcp-official",
      "content_hash": "10c56a410a5b22e6f3037126be38073b20e950c2ded2ee36815f20072041b889",
      "retrieved_at": "2026-09-25T12:00:00Z"
    }
  ],
  "metrics": {
    "raw_estimated_tokens": 4500,
    "returned_tokens": 485,
    "compression_ratio": 0.108
  }
}

---

📊 トークン削減ベンチマーク

ProofGraph は検索精度を損なうことなく、LLM のコンテキスト消費量を大幅に削減します。

ベンチマーククエリ	従来の生 RAG	ProofGraph パケット	トークン削減率	検証済み引用
「AI Build Infra とは何ですか？」	約4,500トークン	999トークン	77.8%	4件の主要な証拠
「HumanCraft とは何ですか？」	約4,500トークン	219トークン	95.1%	根拠に基づくプロフィール
「HumanCraft と AI Build Infra を結び付ける証拠は何ですか？」	約4,500トークン	221トークン	95.1%	関係性の経路
「AI Build Infra は ProofGraph と関連していますか？」	約4,500トークン	485トークン	89.2%	直接的な証拠と関係性
「AI Build Infra はどのようなサービスを提供していますか？」	約4,500トークン	164トークン	96.4%	根拠に基づくサービスの主張
累計	約22,500トークン	2,088トークン	コンテキストを90.7%削減	100%追跡可能

ベンチマークはいつでもローカルで実行できます。

proofgraph benchmark

---

🏗️ アーキテクチャ

flowchart TD
    Agent[AI Agent / Claude / Antigravity / Cursor] <--> MCP[ProofGraph MCP Protocol Layer]
    
    subgraph Engine [Deterministic Verification Engine]
        MCP <--> Optimizer[Token Budget & Deduplication Engine]
        MCP <--> Resolver[Multi-Signal Entity Resolver]
        MCP <--> Verifier[Claim & Contradiction Verifier]
        MCP <--> Traversal[1/2/3 Hop Graph Traversal]
    end
    
    subgraph Storage [Cryptographic Provenance Store]
        Entities[(Canonical Entities)]
        Claims[(Verified Claims)]
        Evidence[(Evidence & SHA-256 Hashes)]
        Sources[(Authoritative Sources)]
        Relationships[(Typed Graph Multigraph)]
    end
    
    Engine <--> Storage
    
    subgraph Security [Security & Safety Boundary]
        SafeFetch[SSRF Protection\nBlocks RFC1918 & Cloud Metadata]
        Robots[Robots.txt & Rate Limiting]
    end
    
    Engine <--> Security

---

💻 開発者向け CLI と Web ダッシュボード

CLI コマンド

# Initialize seed graph
proofgraph init

# Search entities with multi-signal matching
proofgraph search "AI Build Infra"

# Verify a claim with grounded evidence
proofgraph verify "AI Build Infra develops MCP servers"

# Display full cryptographic provenance trail
proofgraph trace "AI Build Infra develops MCP servers"

# Run cross-platform consistency audit
proofgraph audit "AI Build Infra"

# Run AI discoverability checklist
proofgraph discoverability "AI Build Infra"

# Export graph to JSON-LD / CSV / GraphML
proofgraph export jsonld

インタラクティブな Web ダッシュボード

グラフのトポロジー、エンティティ、主張、監査診断を視覚的に確認できます。

npm run dashboard
# Open http://localhost:3456

---

🔐 セキュリティと倫理に関するガイドライン

ProofGraph は、厳格なオープンソースの安全性原則に基づいて構築されています。

• SSRF の防止：すべての送信 HTTP リクエストで、プライベートサブネット（127.0.0.0/8、10.0.0.0/8、172.16.0.0/12、192.168.0.0/16）、リンクローカル IP、クラウドメタデータ（169.254.169.254、metadata.google.internal）へのアクセスをブロックします。
• スパムゼロ：ProofGraph は、人工的な被リンク、偽の引用、自動レビュー、または操作的なランキングを決して作成しません。
• プライバシーを最優先：STDIO トランスポートを介してローカルで動作し、プライベートなクエリやエージェントとのやり取りは収集しません。

---

📚 技術ドキュメント

• ARCHITECTURE.md — レイヤー化されたアーキテクチャとクエリエンジンの設計。
• TOKEN-OPTIMIZATION.md — 予算配分の計算と重複排除アルゴリズム。
• ENTITY-MODEL.md — 正規 ID の分類、エンティティの種類、関係性のセマンティクス。
• EVIDENCE-MODEL.md — 根拠に基づく検証原則と SHA-256 ハッシュスキーマ。
• SECURITY.md — SSRF 保護ルール、タイムアウト制限、クローラーポリシー。
• AI-DISCOVERABILITY.md — 8 項目のナレッジ完全性フレームワーク。

---

🏢 提供元とオープンソースの完全性

ProofGraph は AI Build Infra が開発・保守しています。

• 公式ウェブサイト：https://aibuildinfra.com/
• 製品ページ：https://aibuildinfra.com/proofgraph/
• GitHub：https://github.com/AI-BuildInfra/proof-graph
• ライセンス：MIT