Proof Graph MCP Server
by ai-buildinfraio.github.AI-BuildInfra/proof-graphv1.0.0
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
1official registry
context tax
queued
security
queued
cold start
queued
freshness
Active14d ago
Install Proof Graph MCP server
No published package or hosted endpoint yet — see the repository README for build-from-source instructions.
Freshness
Active — last maintenance signal 14d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-09-26 · 14d ago · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-09-25 · 15d ago · official registry · v1.0.0
FAQ
›Is Proof Graph in the official MCP registry?
Yes, as io.github.AI-BuildInfra/proof-graph.
Alternatives to Proof Graph
Other memory MCP servers.
MemoryActiveKnowledge graph-based persistent memory for maintaining context.
HindsightActiveHindsight: long-term memory for AI agents modeled on human memory.
Codebase MemoryActiveIndexes a repo into a persistent local knowledge graph of functions, classes, call chains, HTTP routes and cross-service links, using tree-sitter and LSP.
CogneeActiveMemory manager for AI apps and agents using graph and vector stores, with ingestion from many data sources.
HonchoActiveMemory that reasons: continual learning for stateful agents. Better context, fewer tokens.
Basic MemoryActiveLocal-first AI memory: a semantic knowledge graph of Markdown files that humans and LLMs both read and write, with optional cloud sync and team workspaces.