Loading…
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
ProofGraph (Antigravity MCP) is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 51/100. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. No automated install command is listed; check the repository for manual setup instructions. Review the last-pushed date and repository status before adding ProofGraph (Antigravity MCP) to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
See source docsReview the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-09-25T11:57:28.440105Z",
"publishedAt": "2026-09-25T11:57:28.440105Z",
"statusChangedAt": "2026-09-25T11:57:28.440105Z"
}
},
"server": {
"name": "io.github.AI-BuildInfra/proof-graph",
"title": "ProofGraph (Antigravity MCP)",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "1.0.0",
"repository": {
"url": "https://github.com/AI-BuildInfra/proof-graph",
"source": "github"
},
"websiteUrl": "https://aibuildinfra.com/proofgraph/",
"description": "Evidence-first entity and knowledge graph MCP server for AI agents to verify claims."
}
}