agenda-intelligence vs. ProofGraph (Antigravity MCP)
agenda-intelligence não está mais listado em nenhum marketplace que lemos: estes são os últimos dados conhecidos, de 2026‑10‑22.
agenda-intelligence é um pacote de plugins para ferramentas de programação com IA publicado por Vassiliy Lakhonin. Nenhum marketplace que lemos o lista mais. ProofGraph (Antigravity MCP) é um servidor MCP publicado por AI-BuildInfra. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-26. Um plugin deste par não está mais listado em nenhum marketplace que lemos, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  ProofGraph (Antigravity MCP) | |
|---|---|---|
| Marketplace da comunidade vassiliylakhonin/agenda-intelligence-md | Removido em 2026-10-22 Versão: 1.21.1 Forks (GitHub): 1 Estrelas (GitHub): 8 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 1.0.0 Forks (GitHub): 0 Estrelas (GitHub): 1 Sem marcação · Visto pela primeira vez |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Os fatos lado a lado
| Fato | agenda-intelligencenão está mais listado · | ProofGraph (Antigravity MCP) |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 1 |
| Estrelas (GitHub) (diferente) | 8 | 1 |
| Forks (GitHub) (diferente) | 1 | 0 |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Na sua máquina (agenda-intelligence-md) | Não informado |
| Transporte | Não informado | Não informado |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Partes do pacote (diferente) | 3 | Não é um pacote |
| Licença (diferente) | MIT | Não informado |
| Repositório (diferente) | github.com/vassiliylakhonin/agenda-intelligence-md | github.com/ai-buildinfra/proof-graph |
| Mudanças nos últimos 7 dias (diferente) | 4 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-14 | 2026-10-11 |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Nenhum valor é marcado como melhor ou pior: um plugin que nenhum marketplace lista mais aparece com os últimos dados conhecidos, que não comparamos com números atuais.
O que usar no lugar de «agenda-intelligence»
Plugins ainda listados cujos nomes, descrições, ferramentas e skills são os mais próximos em significado. Comparáveis, não recomendados.
-
Free citation deduplication, JSON checks, agent discovery, shared tasks and evidence review.
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Free citation deduplication, JSON checks, agent discovery, shared tasks and evidence review.
-
Model-agnostic output control for concise, action-first answers with proof and risk preserved.
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Run structured multi-agent decision reviews with Codex, Claude Code, and adapter-based CLI agents.
O que cada um diz que faz
agenda-intelligence
Evidence-packet linter for claim-to-source references, quotes, lexical support, and unmatched numbers, plus compatibility agenda-analysis skills.
ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Como executar cada um
agenda-intelligence
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
ProofGraph (Antigravity MCP)
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
Comandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Ferramentas que cada um declara
Os marketplaces de nenhum dos dois publicam uma lista de ferramentas, então não há o que comparar.
Configurações que cada um pede
Os marketplaces de nenhum dos dois publicam as configurações que ele pede.
O que pode fazer: agenda-intelligence · O que pode fazer: ProofGraph (Antigravity MCP) · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.