VibeRevert vs. aaaa-nexus — Formally Verified AI Safety APIs
VibeRevert não está mais listado em nenhum marketplace que lemos: estes são os últimos dados conhecidos, de 2026‑10‑15.
VibeRevert é um pacote de plugins para ferramentas de programação com IA publicado por Fabio Marcello Salvadori. Nenhum marketplace que lemos o lista mais. aaaa-nexus — Formally Verified AI Safety APIs é um servidor MCP publicado por atomadictech. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-25. 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 |  aaaa-nexus — Formally Verified AI Safety APIs | |
|---|---|---|
| Marketplace da comunidade madeinplutofabio/vibe-revert | Removido em 2026-10-15 Versão: 0.8.0-beta.1 Forks (GitHub): 0 Estrelas (GitHub): 0 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 0.4.0 Nenhum número publicado 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 | VibeRevertnão está mais listado · | aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 1 |
| Estrelas (GitHub) (diferente) | 0 | Sem número no GitHub |
| Forks (GitHub) (diferente) | 0 | Sem número no GitHub |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Instala-se como pacote de plugins | Servidor remoto (aaaa-nexus.atomadictech.workers.dev/mcp) |
| Transporte (diferente) | Não informado | Streamable HTTP |
| 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) | 1 | Não é um pacote |
| Licença (diferente) | Apache-2.0 | Não informado |
| Repositório (diferente) | github.com/madeinplutofabio/vibe-revert | github.com/atomadictech/aaaa-nexus |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-13 | 2026-10-11 |
| Endpoint na última verificação (diferente) | sem endpoint remoto que verificamos | Respondeu há 5 dias |
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 «VibeRevert»
Plugins ainda listados cujos nomes, descrições, ferramentas e skills são os mais próximos em significado. Comparáveis, não recomendados.
-
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
O que cada um diz que faz
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.
Como executar cada um
VibeRevert
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
aaaa-nexus — Formally Verified AI Safety APIs Como servidor MCP remoto
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcpComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só aaaa-nexus — Formally Verified AI Safety APIs tem um endpoint remoto que verificamos. Como verificamos os endpoints
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: VibeRevert · O que pode fazer: aaaa-nexus — Formally Verified AI Safety APIs · 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.