ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
MCP-сервер · от AI-BuildInfra
Коротко
ProofGraph (Antigravity MCP): MCP-сервер, издатель AI-BuildInfra. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-12.
Что просит
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Подключить
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 1.0.0 | Форки (GitHub): 0 Звёзды (GitHub): 1 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что менялось
С тех пор как мы следим за плагином, ничего не менялось.
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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…
Есть на витрине 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
Есть на витрине 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.
Есть на витрине 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
Есть на витрине 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.
Есть на витрине 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.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Это ваш плагин?
Добавьте плагин в свои проекты и докажите, что поддерживаете его: файлом в репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.