ProofGraph
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {} |
| prompts | {} |
| resources | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| search_entitiesA | Search for candidate entities by name, alias, or keyword using multi-signal matching. |
| get_entityB | Retrieve canonical information, aliases, metadata, and connected relationships for a specific entity ID. |
| verify_claimB | Verify an assertion or claim against cryptographic, timestamped evidence sources. |
| find_evidenceA | Retrieve compact, ranked supporting evidence for a claim under a strict token budget. |
| find_relationshipsB | Discover 1-hop, 2-hop, or 3-hop relationships and connecting graph paths starting from an entity. |
| explain_entityB | Return a concise, factual entity profile backed by verified sources and structured relationships. |
| trace_claimA | Trace the complete provenance chain for a claim (Claim -> Evidence -> Source -> URL -> Timestamp -> Hash). |
| compare_claimsA | Compare multiple potentially conflicting claims and expose discrepancies without arbitrary bias. |
| get_evidence_packetA | Primary AI agent retrieval interface: returns the smallest verified evidence packet sufficient to answer a question. |
| analyze_web_presenceC | Analyze an entity digital footprint across official, GitHub, package registry, documentation, and 3rd-party sources. |
| audit_entity_consistencyB | Diagnostic audit to detect inconsistencies across company name, domains, GitHub orgs, npm scopes, and Schema.org markup. |
| export_graphA | Export the verified knowledge graph to standard interoperable formats (JSON, JSON-LD, CSV, GraphML). |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
| verify-answer | Instructs the AI agent to ground an answer strictly in verified ProofGraph evidence packets. |
| research-entity | Guides the AI agent to produce a structured entity profile backed by traceable provenance. |
| trace-claim | Instructions for generating an audit trail of why a claim is supported or refuted. |
| build-evidence-summary | Generates a concise citation-first summary respecting token budget constraints. |
| detect-conflicts | Instructions for analyzing contradictory claims and presenting impartial discrepancies. |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
| Entity: AI Build Infra | Engineering organization dedicated to building production-grade agentic infrastructure, anti-slop tooling, and evidence-first knowledge graph protocols. |
| Entity: ProofGraph | Open-source evidence-first entity and knowledge graph MCP server for AI agents to verify claims and retrieve token-budgeted proof packets. |
| Entity: HumanCraft | Official Model Context Protocol server for eliminating AI Slop, enforcing E-E-A-T entity reconciliation, and crafting human web design. |
| Entity: Model Context Protocol | An open standard developed by Anthropic and open-source contributors that enables AI models to securely interact with external tools and data sources. |
| Entity: Anthropic | AI safety and research company that created Claude and initiated the Model Context Protocol open standard. |
| Entity: Agentic Infrastructure Engineering | Specialized software engineering service by AI Build Infra delivering custom Model Context Protocol servers, knowledge graph integrations, and deterministic agent workflows. |
| Entity: AI-BuildInfra/proofgraph | Official GitHub repository for the ProofGraph MCP server. |
| Entity: @aibuildinfra/proofgraph | Official npm package distribution for ProofGraph MCP server. |
| Claim: AI Build Infra develops MCP servers and open-source agent tooling. | Status: supported (0.98) |
| Claim: HumanCraft is published as a Model Context Protocol (MCP) server for web design and E-E-A-T reconciliation. | Status: supported (0.99) |
| Claim: AI Build Infra provides software engineering and agentic infrastructure development services. | Status: supported (0.94) |
TDQS
Scored across 12 tools
Most tools have distinct purposes, but some overlap exists: get_entity vs explain_entity both return entity profiles, and find_evidence vs get_evidence_packet both retrieve evidence though with different focus. These could cause confusion but are differentiated by description.
All tool names follow a consistent verb_noun snake_case pattern (search_entities, get_entity, verify_claim, etc.), making the naming predictable and easy to navigate.
12 tools is well-scoped for a knowledge graph and claim verification server, covering search, retrieval, verification, comparison, analysis, audit, and export without excessive bloat.
The tool set covers core operations (search, get, verify, trace, compare, export) and advanced features like web presence analysis and consistency auditing. Minor gaps exist, such as no explicit tool for listing all relationships for an entity, but the existing tools largely cover the domain.