ProofGraph (Antigravity MCP)

io.github.AI-BuildInfra/proof-graph · v1.0.0 · agents-and-memory

ProofGraph (Antigravity MCP) is a local (stdio) package with no hosted endpoint. It scores 10/100.

Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.

Repository · Website · JSON · Add to my inventory

Score 10/100

health	0 / 25
authEase	0 / 15
toolQuality	0 / 15
maintenance	7 / 15
adoption	0 / 10
usage	0 / 10
security	3 / 10

Scoring v0.3, computed 2026-10-15T02:41:09.309Z.

Local (stdio) package only: no hosted endpoint to check
GitHub signals are off for everyone: maintenance uses registry dates (half credit)

Health history

No checks yet.

Tools (0)

Tools are listed after a successful handshake.