ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Servidor MCP · de AI-BuildInfra
Resumen
ProofGraph (Antigravity MCP) es un servidor MCP publicado por AI-BuildInfra. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-11 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-12.
Qué pide
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Conectar
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 1.0.0 | Forks (GitHub): 0 Estrellas (GitHub): 1 |
Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
Nada ha cambiado en este plugin desde que lo seguimos.
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
Grounding/hallucination guard: verify a claim against evidence (Supported/Refuted/NEE).
-
Spectral — verified-knowledge oracle
Cross-check a factual claim against a verified knowledge graph before you assert it. Never guesses.
-
MCP-native web evidence and claim verification: cited, source-grounded evidence for AI agents.
-
Independent fact-checking for AI answers: a verdict and sources for every claim.
-
Verify claims against sources: source verification, citation checking; $0.02 USDC on Base.
-
Verify claims with verdict, confidence & cited sources; batch verify, source checks, daily brief.
-
verity io.github.Clawdio777/verity
Real-time fact-checking MCP. Verifies claims against live sources with structured verdicts.
-
Whysaid — Verify claims, sources & AI answer share
Verify claims and sources, and check whether AI assistants name a brand.
-
veritap dev.veritap/veritap
Check whether a real-world fact can be verified before an agent acts on it. Free, no auth.
-
verify-mcp net.agentutil/verify-mcp
Sub-cent factual claim verification against live data sources.
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en Claude Code: claude-plugins-community (5)
-
Fortytwo Prime: collective multi-agent inference for high-stakes questions. ALWAYS use when the user says "Ask Fortytwo", "Ask Prime", "Ask Fortytwo Prime", or calls…
-
Verify academic citations and references using the SourceVerify API
-
Build and query Compact Knowledge Graphs directly in Claude Code. Includes a skill to convert any CSV into a CKG and an MCP server with 8 pre-built domains. 42x more efficient…
-
Search, scrape, and crawl the web for AI agents. Batch scraping and answers with citations.
-
Japanese law firm plugin for Claude Code — court template filling, family tree generation (相続関係説明図), legal document proofreading, lawsuit analysis, e-Gov law search, and…
Publicado en Claude Code: claude-plugins-official (5)
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
You.com agent skills for web search, research with citations, and content extraction. Guided integrations for Vercel AI SDK, Claude Agent SDK, OpenAI Agents SDK, crewAI…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Attorney guidance and legal tools for business and personal needs. AI-powered document review identifies critical risks and important clauses, advises when to engage an attorney…
-
Web scraping and crawling powered by Firecrawl. Turn any website into clean, LLM-ready markdown or structured data. Scrape single pages, crawl entire sites, search the web, and…
Publicado en Claude: knowledge-work-plugins (5)
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Speed up contract review, NDA triage, and compliance workflows for in-house legal teams. Draft legal briefs, organize precedent research, and manage institutional knowledge.
-
Search across all of your company's tools in one place. Find anything across email, chat, documents, and wikis without switching between apps.
-
The complete web toolkit for your agent. Search the web and get answers in milliseconds. Fetch any URL and get clean markdown content back. Send a browser agent to navigate sites…
Publicado en Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
General life-sciences research workflows with query routing, evidence synthesis, and optional parallel subagent analysis across genetics, omics, biology, chemistry, structure…
-
Notion workflows for implementation planning, research synthesis, meeting preparation, and knowledge capture.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Work with Zotero from Codex: search your library, export BibTeX, insert citations, and import references through the Zotero desktop app.
Publicado en Community GitHub marketplaces (5)
-
FastMCP server for Obsidian wikilink suggestions from a pre-computed knowledge g
FastMCP server for Obsidian wikilink suggestions from a pre-computed knowledge graph (graphify…
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
bettermemory io.github.0Mattias/bettermemory
Memory for coding agents, checked against the filesystem and git before it is believed.
-
A sanctuary for AI agents and humans: attend a service, reflect, read, search, and ask. No auth.
-
Web scraping and crawling powered by Firecrawl. Turn any website into clean, LLM-ready markdown or structured data. Scrape single pages, crawl entire sites, search the web, and…
Publicado en Copilot CLI: github/awesome-copilot (5)
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
A runtime-portable 5-agent quality gate that adjudicates text artifacts before they ship. Five role-conditioned LLM deliberators run a 2-round async protocol with cross-read…
-
Visualizes live session AI-credit usage as a Pac-Man board with pellets, ghosts, fruit milestones, and game-over limits.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
Publicado en Copilot CLI: github/copilot-plugins (5)
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
Advanced Security plugin for GitHub Copilot.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
Publicado en Cursor: cursor/plugins (5)
-
Search company knowledge and draft verified answers.
-
Enrich people and companies, run AI research agents.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Track AI visibility, sentiment, and citations.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
Publicado en Docker MCP Catalog (5)
-
Connector for Perplexity API, to enable real-time, web-wide research.
-
Production-ready RAG service to search and retrieve data from your documents.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
Knowledge graph-based persistent memory system.
Publicado en Official MCP Registry (5)
-
Grounding/hallucination guard: verify a claim against evidence (Supported/Refuted/NEE).
-
Spectral — verified-knowledge oracle
Cross-check a factual claim against a verified knowledge graph before you assert it. Never guesses.
-
MCP-native web evidence and claim verification: cited, source-grounded evidence for AI agents.
-
Independent fact-checking for AI answers: a verdict and sources for every claim.
-
Verify claims against sources: source verification, citation checking; $0.02 USDC on Base.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.