agenda-intelligence vs. ProofGraph (Antigravity MCP)
agenda-intelligence ya no aparece en ningún marketplace que leemos: estos son sus últimos datos conocidos, a fecha de 2026‑10‑22.
agenda-intelligence es un paquete de plugins para herramientas de programación con IA publicado por Vassiliy Lakhonin. Ningún marketplace que leemos lo publica ya. ProofGraph (Antigravity MCP) es un servidor MCP publicado por AI-BuildInfra. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Según nuestra pasada por los marketplaces del 2026-10-26. Un plugin de este par ya no aparece en ningún marketplace que leemos, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace |  ProofGraph (Antigravity MCP) | |
|---|---|---|
| Marketplace de la comunidad vassiliylakhonin/agenda-intelligence-md | Retirado el 2026-10-22 Versión: 1.21.1 Forks (GitHub): 1 Estrellas (GitHub): 8 Sin marca · Visto por primera vez |
No figura |
| Official MCP Registry | No figura | Publicado Versión: 1.0.0 Forks (GitHub): 0 Estrellas (GitHub): 1 Sin marca · Visto por primera vez |
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.
Los datos lado a lado
| Dato | agenda-intelligenceya no está publicado · | ProofGraph (Antigravity MCP) |
|---|---|---|
| Marketplaces que lo listan (distinto) | 0 | 1 |
| Estrellas (GitHub) (distinto) | 8 | 1 |
| Forks (GitHub) (distinto) | 1 | 0 |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta (distinto) | En tu equipo (agenda-intelligence-md) | Sin indicar |
| Transporte | Sin indicar | Sin indicar |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide | No publicado | No publicado |
| Partes del paquete (distinto) | 3 | No es un paquete |
| Licencia (distinto) | MIT | Sin indicar |
| Repositorio (distinto) | github.com/vassiliylakhonin/agenda-intelligence-md | github.com/ai-buildinfra/proof-graph |
| Cambios en los últimos 7 días (distinto) | 4 | 0 |
| Visto por primera vez (distinto) | 2026-10-14 | 2026-10-11 |
Las líneas en las que difieren tienen fondo tintado y valores en negrita. Ningún valor se marca como mejor o peor: un plugin que ya no publica ningún marketplace se muestra con sus últimos datos conocidos, que no comparamos con cifras actuales.
Qué usar en lugar de «agenda-intelligence»
Plugins aún publicados cuyos nombres, descripciones, herramientas y skills son los más cercanos en significado. Comparables, no 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.
Qué dice cada uno que hace
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.
Cómo ejecutar cada uno
agenda-intelligence
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
ProofGraph (Antigravity MCP)
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
Comandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Herramientas que declara cada uno
Los marketplaces de ninguno de los dos publican una lista de herramientas, así que no hay nada que comparar.
Ajustes que pide cada uno
Los marketplaces de ninguno de los dos publican los ajustes que pide.
Qué puede hacer: agenda-intelligence · Qué puede hacer: ProofGraph (Antigravity MCP) · Comparar otros dos plugins
Datos de Community GitHub marketplaces. 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.