ProofGraph (Antigravity MCP) MCP Server

by ai-buildinfra Your server? Claim it

local only

ProofGraph (Antigravity MCP) runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 26 Sep 2026.

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

—

Installs / week

not published

Stars

0 open issues

26 Sep 2026

Last commit

from GitHub

MIT

License

TypeScript

Nothing serious here today

Today is the operative word: we check ProofGraph (Antigravity MCP) every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Alternatives to ProofGraph (Antigravity MCP)

same job, measured the same way

Forage - MCP Server for AI Agents

by ernestalabs

Web intelligence, verified B2B contacts, and a persistent knowledge graph for AI agents.

answering

Kairn

by primeline-ai

Local-first knowledge engine for AI agents: memory, graph, and recall over MCP.

local only

Vector Knowledge Graph MCP

by csoai-org

AI-powered vector knowledge graph MCP server for agents. Supports add node, add edge, semantic node

246 installs/wk local only

Lain

by spuentesp

High-performance knowledge graph MCP server for AI coding agents with semantic search.

156 installs/wk local only

Shelbymcp

by studio-moser

Knowledge-graph memory server for AI tools via MCP

43 installs/wk local only

MD MD

by kedarvartak

MCP server for md.md - provides team knowledge context to AI assistants

local only

Brain Protocol

by seritalien

Verifiable Memory for AI Agents — knowledge graph, FTS, Starknet proofs, local or cloud

48 installs/wk local only

Agent Skill

by deep-identity-inc

An MCP Server that provides identity verification and anti-fraud tools for AI agents via deepidv.

answering

ProofGraph (Antigravity MCP) — questions

Answers built from our own checks of this server.

Why is there no uptime for ProofGraph (Antigravity MCP)?

ProofGraph (Antigravity MCP) runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone.

Is ProofGraph (Antigravity MCP) open source?

Yes — it is published under the MIT licence, written in TypeScript and 1 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.