ProofGraph (Antigravity MCP)
io.github.AI-BuildInfra/proof-graph
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 1 | github.com/AI-BuildInfra/proof-graph |
| Last push | 2026-09-26 | GitHub API |
| Licence | MIT | GitHub API |
| Registry version | 1.0.0 · active · updated 2026-09-25 | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Related servers
- Antigravity Link MCP server and OpenAPI-backed mobile companion for controlling Antigravity IDE sessions
- SEO-IntentRank (Antigravity MCP) Human search intent keywords, Core Web Vitals, technical SEO & on-page audit MCP server.
- HumanCraft UI (Antigravity MCP) Anti-slop, E-E-A-T & human web design MCP server for Antigravity, by AI Build Infra.
- ask-antigravity Bridge Claude with Google's Antigravity CLI (agy) for code review and second opinions
- Async Parallel Antigravity for Codex & Claude Code Run parallel, resumable, human-operable Antigravity CLI sessions from any MCP agent…
- mcp-server-google-antigravity MCP server exposing Google Antigravity (agy CLI / Gemini): jobs, codebase analysis, file…
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.AI-BuildInfra/proof-graph)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.AI-BuildInfra/proof-graph.