VibeRevert ou aaaa-nexus — Formally Verified AI Safety APIs
VibeRevert 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‑15.
VibeRevert est un lot de plugins pour les outils de code IA publié par Fabio Marcello Salvadori. Aucune place de marché que nous lisons ne le référence plus. aaaa-nexus — Formally Verified AI Safety APIs est un serveur MCP publié par atomadictech. 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-25. 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é |  aaaa-nexus — Formally Verified AI Safety APIs | |
|---|---|---|
| Place de marché communautaire madeinplutofabio/vibe-revert | Retiré le 2026-10-15 Version: 0.8.0-beta.1 Forks (GitHub): 0 Étoiles (GitHub): 0 Non marqué · Vu pour la première fois |
Absent |
| Official MCP Registry | Absent | Référencé Version: 0.4.0 Aucun chiffre publié 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 | VibeRevertplus référencé · | aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Marketplaces qui le listent (différent) | 0 | 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) | S'installe comme lot de plugins | Serveur distant (aaaa-nexus.atomadictech.workers.dev/mcp) |
| Transport (différent) | Non indiqué | Streamable HTTP |
| Outils déclarés | Non publié | Non publié |
| Variables d'environnement demandées | Non publié | Non publié |
| Parties du lot (différent) | 1 | Pas un lot |
| Licence (différent) | Apache-2.0 | Non indiqué |
| Dépôt (différent) | github.com/madeinplutofabio/vibe-revert | github.com/atomadictech/aaaa-nexus |
| Modifications des 7 derniers jours | 0 | 0 |
| Vu pour la première fois (différent) | 2026-10-13 | 2026-10-11 |
| Endpoint à la dernière vérification (différent) | pas d’endpoint distant que nous vérifions | A répondu il y a 5 jours |
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 « VibeRevert »
Plugins encore référencés dont les noms, descriptions, outils et skills sont les plus proches par le sens. Comparables, pas recommandés.
-
Merge gates and safety checks for AI coding agents via MCP.
-
Behavioral guardrails for Claude Code agents. Nine battle-tested rules (no-guessing, no-stalling, no-preference-asking, no-false-completion, no-skipping, no-dismissing…
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
VerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such…
-
Comprehensive security rules for AI coding agents
Ce que chacun dit faire
VibeRevert
Deterministic risk checks and session recovery for AI coding agents.
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Comment lancer chacun
VibeRevert
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.
aaaa-nexus — Formally Verified AI Safety APIs En serveur MCP distant
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcpCommandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Seul aaaa-nexus — Formally Verified AI Safety APIs a un endpoint distant que nous vérifions. Comment nous vérifions les endpoints
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 : VibeRevert · Ce qu'il peut faire : aaaa-nexus — Formally Verified AI Safety APIs · 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.