# io.github.AI-BuildInfra/proof-graph

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

- **Type:** MCP server
- **Trust:** 60/100 (B), scored on the content rubric
- **Verification:** community-indexed — nobody has claimed this listing
- **Version:** 1.0.0
- **Author:** io.github.AI-BuildInfra
- **License:** Unknown
- **Source:** https://github.com/AI-BuildInfra/proof-graph

## Trust

60/100 (B), scored on the content rubric
- Publisher verified: no
- Install scripts: nothing suspicious found
- Prompt-injection scan: clean
- Obfuscation scan: clean
- Evidence age: 0 days

## Security scan

- **Status:** clean
- **Scanned:** 2026-09-27T18:20:16.624Z
- **Version scanned:** HEAD
- **CVEs:** no coverage — this entry has no package coordinates to query OSV against, so "no known CVEs" is NOT asserted for it.

## Tools

24 declared. Statically extracted from the shipped source — a floor on the surface, not a census.
- `verify-answer` — Instructs the AI agent to ground an answer strictly in verified ProofGraph evidence packets.
- `question` — The question being answered
- `entity_id` — Subject entity ID
- `research-entity` — Guides the AI agent to produce a structured entity profile backed by traceable provenance.
- `entity_name` — Name or alias of the entity to research
- `trace-claim` — Instructions for generating an audit trail of why a claim is supported or refuted.
- `claim_statement` — The claim to trace
- `build-evidence-summary` — Generates a concise citation-first summary respecting token budget constraints.
- `topic` — Topic or entity to summarize
- `max_tokens` — Maximum tokens (e.g. 1500)
- `detect-conflicts` — Instructions for analyzing contradictory claims and presenting impartial discrepancies.
- `claims` — Comma-separated list of conflicting claims
- `search_entities` — Search for candidate entities by name, alias, or keyword using multi-signal matching.
- `get_entity` — Retrieve canonical information, aliases, metadata, and connected relationships for a specific entity ID.
- `verify_claim` — Verify an assertion or claim against cryptographic, timestamped evidence sources.
- `find_evidence` — Retrieve compact, ranked supporting evidence for a claim under a strict token budget.
- `find_relationships` — Discover 1-hop, 2-hop, or 3-hop relationships and connecting graph paths starting from an entity.
- `explain_entity` — Return a concise, factual entity profile backed by verified sources and structured relationships.
- `trace_claim` — Trace the complete provenance chain for a claim (Claim -> Evidence -> Source -> URL -> Timestamp -> Hash).
- `compare_claims` — Compare multiple potentially conflicting claims and expose discrepancies without arbitrary bias.
- `get_evidence_packet` — Primary AI agent retrieval interface: returns the smallest verified evidence packet sufficient to answer a question.
- `analyze_web_presence` — Analyze an entity digital footprint across official, GitHub, package registry, documentation, and 3rd-party sources.
- `audit_entity_consistency` — Diagnostic audit to detect inconsistencies across company name, domains, GitHub orgs, npm scopes, and Schema.org markup.
- `export_graph` — Export the verified knowledge graph to standard interoperable formats (JSON, JSON-LD, CSV, GraphML).

## Install

This entry has no npm package and no hosted endpoint, so there is nothing for an MCP client to launch or connect to. It is indexed as source only.

## Blast radius

Contained to moderate — no credential declaration found, from the publisher, the upstream registry, or the README. Known so far: read-only tool surface.
- Floor 3, ceiling 33 (tier: unknown)
- `unknown` means the floor and ceiling land in different bands — not measured enough to name one. It does not mean low.
- This is impact, not likelihood. A high radius is not a defect: a filesystem server is supposed to write files. It is never part of the trust score.

## Machine-readable views of this entry

- Signed JSON: https://forgeregistry.com/api/v1/packages/io.github.AI-BuildInfra%2Fproof-graph
- Install plan: https://forgeregistry.com/api/v1/packages/io.github.AI-BuildInfra%2Fproof-graph/install-plan
- Alternatives: https://forgeregistry.com/api/v1/alternatives/io.github.AI-BuildInfra%2Fproof-graph
- HTML page: https://forgeregistry.com/registry/io.github.AI-BuildInfra%2Fproof-graph
- MCP: POST https://forgeregistry.com/api/mcp → `forge_get_package` / `forge_install_plan`

## About this document

Generated by Forge (https://forgeregistry.com) — a compact rendering of the same record served, signed, at the JSON URL above. Trust and scan facts are the registry's own measurements; anything Forge did not measure is named as unmeasured rather than omitted.