ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Connector by AI-BuildInfra · GitHub account verified by the MCP Registry
Chalk Labs
Need help deploying ProofGraph (Antigravity MCP)?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
Install
Pick your client. Read the repository before you give any tool access to your data.
No install instructions from the source yet. Check the repository for setup steps.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.
- Tools
- 10 read · 0 write · 0 delete · 2 not yet classified
- Secrets
- None asked for
- Install scripts
- Not scanned yet
Tools by what they do 12
Read from the source code; the running server may list different tools.
Read 10 · Look things up without changing anything.
analyze_web_presenceaudit_entity_consistencycompare_claimsexplain_entityfind_evidencefind_relationshipsget_entityget_evidence_packetsearch_entitiesverify_claim
Not yet classified 2 · We could not tell from the name and description.
export_graphtrace_claim
Tools (12)
Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].
analyze_web_presenceAnalyze an entity digital footprint across official, GitHub, package registry, documentation, and 3rd-party sources.
audit_entity_consistencyDiagnostic audit to detect inconsistencies across company name, domains, GitHub orgs, npm scopes, and Schema.org markup.
compare_claimsCompare multiple potentially conflicting claims and expose discrepancies without arbitrary bias.
explain_entityReturn a concise, factual entity profile backed by verified sources and structured relationships.
export_graphExport the verified knowledge graph to standard interoperable formats (JSON, JSON-LD, CSV, GraphML).
find_evidenceRetrieve compact, ranked supporting evidence for a claim under a strict token budget.
find_relationshipsDiscover 1-hop, 2-hop, or 3-hop relationships and connecting graph paths starting from an entity.
get_entityRetrieve canonical information, aliases, metadata, and connected relationships for a specific entity ID.
get_evidence_packetPrimary AI agent retrieval interface: returns the smallest verified evidence packet sufficient to answer a question.
search_entitiesSearch for candidate entities by name, alias, or keyword using multi-signal matching.
trace_claimTrace the complete provenance chain for a claim (Claim -> Evidence -> Source -> URL -> Timestamp -> Hash).
verify_claimVerify an assertion or claim against cryptographic, timestamped evidence sources.
Signals
- Stars
- 1
- Forks
- 0
- Open issues
- 0
- Last commit
- Sep 26, 2026 (1 month ago)
- Last release
- Sep 25, 2026 (1 month ago)
From GitHub (fetched Oct 24, 2026).
Details
- Registry name
io.github.AI-BuildInfra/proof-graph- Version
- 1.0.0
- License
- MIT
- Repository
- github.com/AI-BuildInfra/proof-graph
- Website
- aibuildinfra.com/proofgraph/
- First seen
- Oct 24, 2026
- Last checked
- Oct 25, 2026
More from AI-BuildInfra
- 0.505score
SEO-IntentRank (Antigravity MCP)
AI-BuildInfra
Human search intent keywords, Core Web Vitals, technical SEO & on-page audit MCP server.
ConnectorAFreshness: ARead-only★ 1 - 0.490score
HumanCraft UI (Antigravity MCP)
AI-BuildInfra
Anti-slop, E-E-A-T & human web design MCP server for Antigravity, by AI Build Infra.
ConnectorAFreshness: A
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get ProofGraph (Antigravity MCP) running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
ProofGraph (Antigravity MCP). Agent Mart. https://agentmart.dev/connectors/ai-buildinfra-proof-graph (last updated 2026-10-25)