MCP Check
Servers
All serversNewest firstOfficial, by companyMCP server for…

Categories

Search & web2,770Finance & payments1,915Productivity & notes1,474Files & documents1,324AI & media generation1,226Coding & design1,088Analytics & monitoring915Email & messaging814Business data794Cloud & infrastructure787Agent safety & governance737Databases & data692Browser automation548Security541Legal & government357Games & entertainment217Health & science214Marketing & sales185Other2,856
Scan or add
Scan a configAdd your serverGet a private server built

More

Claude skillsHow we check
Scan a config

ProofGraph (Antigravity MCP)

io.github.AI-BuildInfra/proof-graph

Source code

About ProofGraph (Antigravity MCP)

ProofGraph (Antigravity MCP) is an MCP server published by the GitHub account AI-BuildInfra. Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.

It asks for no keys or passwords.

Version 1.0.0 was published on 25 September 2026, and the source code is public, so you can read it before installing.

Written from the registry entry. 4 automated checks on registry metadata: 2 pass, 0 warn, 0 fail, 2 info. How we check.

What it asks for

This server declares no environment variables, so it asks for no keys or settings.

Checks

CheckResultDetail
Source repository linkedPasshttps://github.com/AI-BuildInfra/proof-graph
Secrets requestedInfoAsks for no secrets
Namespace ownershipInfoName verified via GitHub account AI-BuildInfra
Registry text aimed at the AIPassDescription and settings contain no hidden characters or instructions to the AI

Popularity & health: 51 / 100

Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.

Popularity3 / 40

1 GitHub stars, no download count, no Hacker News posts found. Best two of the three, each on a log scale.

Activity21 / 25

Last push 2026-10-26, no GitHub release, 11 commits in 90 days.

Issue health8 / 15

0 closed of 0 issues, too few to judge. No data, so half marks.

Our checks20 / 20

0 warnings, each costing a fifth.

0 forks, 0 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.

What people say

No Hacker News threads link to its source code.

Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.

Facts

Registry nameio.github.AI-BuildInfra/proof-graph
PublisherGitHub account AI-BuildInfra
How the name is verifiedName verified via GitHub account AI-BuildInfra. The registry ties the name prefix to that account or domain; it does not check the code.
TypeLocal: runs on your machine from a package
Version1.0.0
Published
Last updated
Source repositoryhttps://github.com/AI-BuildInfra/proof-graph
Websitehttps://aibuildinfra.com/proofgraph/
CategoryAgent safety & governance (assigned by keyword rule, not by hand)

Related servers in Agent safety & governance