ProofGraph (Antigravity MCP)
Rank #29,938io.github.AI-BuildInfra/proof-graph
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
ProofGraph (Antigravity MCP) is a Model Context Protocol (MCP) server published by AI-BuildInfra. It ranks #29,938 of 137,492 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. ProofGraph (Antigravity MCP) is listed across 2 registries — Official MCP and Glama, with 1 tracked version. It was first listed on Sep 25, 2026 and most recently updated on Sep 25, 2026.
Ranks ahead of 107,554 of 137,492 servers on MCP Toplist.
Use ProofGraph (Antigravity MCP)
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.AI-BuildInfra%2Fproof-graph)<a href="https://mcptoplist.com/server/io.github.AI-BuildInfra%2Fproof-graph"><img src="https://mcptoplist.com/badge/io.github.AI-BuildInfra%2Fproof-graph.svg" alt="MCP Toplist: Top 25% of 137,492" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 2 registries
AI-BuildInfra
Other servers by AI-BuildInfra
View all AI-BuildInfra servers →Available versions (1)
| Version | Published |
|---|---|
| 1.0.0 | Sep 25, 2026 |
Frequently asked questions
- Who maintains ProofGraph (Antigravity MCP)?
- ProofGraph (Antigravity MCP) is maintained by AI-BuildInfra, which publishes 2 MCP servers (2 total versions) tracked on MCP Toplist.
- Is ProofGraph (Antigravity MCP) listed on the Official MCP Registry?
- Yes — ProofGraph (Antigravity MCP) is listed on the Official MCP Registry, alongside Glama.
- How many versions does ProofGraph (Antigravity MCP) have?
- MCP Toplist tracks 1 version of ProofGraph (Antigravity MCP), most recently published on Sep 25, 2026.
- Where can I find the source code for ProofGraph (Antigravity MCP)?
- The source code for ProofGraph (Antigravity MCP) is hosted at github.com/AI-BuildInfra/proof-graph.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.