io.github.aabxtract/koda ou io.github.baopeak/verirun
io.github.aabxtract/koda est un serveur MCP publié par aabxtract. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). io.github.baopeak/verirun est un serveur MCP publié par baopeak. 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-29. Cette paire a été choisie par un lecteur, pas par notre règle de comparaison : nous demandons donc aux moteurs de recherche de ne pas indexer la page.
Où chacun est publié
| Place de marché |  io.github.aabxtract/koda | |
|---|---|---|
| Official MCP Registry | Référencé Version: 0.3.2 Téléchargements par mois (npm): 190 Téléchargements par semaine (npm): 31 Forks (GitHub): 0 Étoiles (GitHub): 0 Non marqué · Vu pour la première fois |
Référencé Version: 0.2.1-dev Téléchargements par mois (npm): 128 Téléchargements par semaine (npm): 9 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 | io.github.aabxtract/koda | io.github.baopeak/verirun |
|---|---|---|
| Marketplaces qui le listent | 1 | 1 |
| Étoiles (GitHub) (différent) | 0 | Aucun chiffre sur GitHub |
| Forks (GitHub) (différent) | 0 | Aucun chiffre sur GitHub |
| Dernière version | Non publié | Non publié |
| Où il s'exécute (différent) | Sur votre machine (koda-verify) | Sur votre machine (verirun) |
| Transport | stdio | stdio |
| Outils déclarés | Non publié | Non publié |
| Variables d'environnement demandées (différent) | Non publié | 3, dont secrets : 0 |
| Licence | Non indiqué | Non indiqué |
| Dépôt (différent) | github.com/aabxtract/koda | github.com/baopeak/verirun |
| Modifications des 7 derniers jours | 0 | 0 |
| Vu pour la première fois | 2026-10-11 | 2026-10-11 |
Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Là où les données elles-mêmes disent quelle valeur est meilleure (plus de marketplaces, un chiffre plus élevé du même marketplace, une version plus récente, une marque verified sur un marketplace qui liste les deux), la meilleure est aussi marquée en vert avec ▲ et la moins bonne en rouge avec ▼. L'endroit où il s'exécute, le transport, les outils, les réglages, les hooks, les parties du lot, la licence et les modifications de la semaine sont marqués seulement comme différents : plus ou moins n'est pas mieux en soi.
Ce que chacun dit faire
io.github.aabxtract/koda
Verification and memory layer for coding-agent workflows.
io.github.baopeak/verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Comment lancer chacun
io.github.aabxtract/koda En serveur MCP local : paquet npm
claude mcp add --transport stdio koda -- npx -y koda-verifyio.github.baopeak/verirun En serveur MCP local : paquet npm
claude mcp add --transport stdio verirun -- npx -y mcp verirunCommandes 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 de io.github.aabxtract/koda ne publient pas les réglages demandés, nous ne comparons donc pas les réglages.
Ce qu'il peut faire : io.github.aabxtract/koda · Ce qu'il peut faire : io.github.baopeak/verirun · Comparer deux autres plugins
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.