io.github.AI-BuildInfra/proof-graphai

ProofGraph (Antigravity MCP)

Verified · 2 mo ago

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

Our take

ProofGraph offers an evidence-first entity and knowledge graph server intended to help agents verify claims rather than store unstructured notes. The concept is useful for research and fact-checking workflows, but with minimal adoption signals and no listed package, it should be considered experimental until documentation and persistence behavior are reviewed.

reviewed by hand · 2026-09-26

Something wrong or dead here? Report it

Verification record

last verified
2 mo ago
github stars
1
last commit
2 mo ago
archived
no
license
MIT
in registry since
2026-09-25

github.com/AI-BuildInfra/proof-graph

More in ai

browse all →
reaai

REA

Verified · 24 days ago

Reverse engineer anything from your terminal or agent with one CLI and MCP server.

hand-reviewed291k stars232k dl/wkchecked 24 days ago

rufloai

Ruflo

Verified · today

Agent teams, swarms, memory and hooks for Claude Code and Codex, served over MCP.

hand-reviewed81k stars72k dl/wkchecked today

claude-flowai

claude-flow

Verified · 2 mo ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed73k stars19k dl/wkchecked 2 mo ago

tldrawai

tldraw

Verified · 2 mo ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 2 mo ago

codebase-memory-mcpai

Codebase Memory

Verified · 44 days ago

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed45k stars12k dl/wkchecked 44 days ago