agenda-intelligence ou ProofGraph (Antigravity MCP)
agenda-intelligence n’est plus référencé sur aucune place de marché que nous lisons : ce sont ses dernières données connues, au 2026‑10‑22.
agenda-intelligence est un lot de plugins pour les outils de code IA publié par Vassiliy Lakhonin. Aucune place de marché que nous lisons ne le référence plus. ProofGraph (Antigravity MCP) est un serveur MCP publié par AI-BuildInfra. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Selon notre passage sur les places de marché du 2026-10-26. Un plugin de cette paire n’est plus référencé sur aucune place de marché que nous lisons : nous demandons donc aux moteurs de recherche de ne pas indexer la page.
Où chacun est publié
| Place de marché |  ProofGraph (Antigravity MCP) | |
|---|---|---|
| Place de marché communautaire vassiliylakhonin/agenda-intelligence-md | Retiré le 2026-10-22 Version: 1.21.1 Forks (GitHub): 1 Étoiles (GitHub): 8 Non marqué · Vu pour la première fois |
Absent |
| Official MCP Registry | Absent | Référencé Version: 1.0.0 Forks (GitHub): 0 Étoiles (GitHub): 1 Non marqué · Vu pour la première fois |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Les faits côte à côte
| Fait | agenda-intelligenceplus référencé · | ProofGraph (Antigravity MCP) |
|---|---|---|
| Marketplaces qui le listent (différent) | 0 | 1 |
| Étoiles (GitHub) (différent) | 8 | 1 |
| Forks (GitHub) (différent) | 1 | 0 |
| Dernière version | Non publié | Non publié |
| Où il s'exécute (différent) | Sur votre machine (agenda-intelligence-md) | Non indiqué |
| Transport | Non indiqué | Non indiqué |
| Outils déclarés | Non publié | Non publié |
| Variables d'environnement demandées | Non publié | Non publié |
| Parties du lot (différent) | 3 | Pas un lot |
| Licence (différent) | MIT | Non indiqué |
| Dépôt (différent) | github.com/vassiliylakhonin/agenda-intelligence-md | github.com/ai-buildinfra/proof-graph |
| Modifications des 7 derniers jours (différent) | 4 | 0 |
| Vu pour la première fois (différent) | 2026-10-14 | 2026-10-11 |
Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Aucune valeur n’est marquée meilleure ou moins bonne : un plugin qu’aucune place de marché ne référence plus est montré avec ses dernières données connues, que nous ne classons pas face à des chiffres actuels.
Quoi utiliser à la place de « agenda-intelligence »
Plugins encore référencés dont les noms, descriptions, outils et skills sont les plus proches par le sens. Comparables, pas recommandés.
-
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.
Ce que chacun dit faire
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.
Comment lancer chacun
agenda-intelligence
Pas de données pour une commande automatique : ce que déclarent ses places de marché ne dit pas sans ambiguïté comment le connecter.
ProofGraph (Antigravity MCP)
Pas de données pour une commande automatique : ce que déclarent ses places de marché ne dit pas sans ambiguïté comment le connecter.
Commandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Outils que déclare chacun
Les marketplaces d'aucun des deux ne publient de liste d'outils, il n'y a donc rien à comparer.
Réglages que demande chacun
Les marketplaces d'aucun des deux ne publient les réglages demandés.
Ce qu'il peut faire : agenda-intelligence · Ce qu'il peut faire : ProofGraph (Antigravity MCP) · Comparer deux autres plugins
Données issues de Community GitHub marketplaces. Données issues de Official MCP Registry. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.