verifiedx vs aaaa-nexus — Formally Verified AI Safety APIs
verifiedx is a plugin bundle for AI coding tools published by bigkan8. Marketplaces we read that list it: 1 (Claude Code: claude-plugins-community). aaaa-nexus — Formally Verified AI Safety APIs is an MCP server published by atomadictech. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-18. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  verifiedx |  aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Claude Code: claude-plugins-community | Listed Version: 2b7f560 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.4.0 No figure published Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | verifiedx | aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 0 | No figure on GitHub |
| Forks (GitHub) (differs) | 0 | No figure on GitHub |
| Last release | Not published | Not published |
| Where it runs (differs) | Installs as a plugin bundle | Remote server (aaaa-nexus.atomadictech.workers.dev/mcp) |
| Transport (differs) | Not stated | Streamable HTTP |
| Tools it declares | Not published | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | 2 | Not a bundle |
| Licence | Not stated | Not stated |
| Repository (differs) | github.com/bigkan8/verifiedx-agent-skills | github.com/atomadictech/aaaa-nexus |
| Changes in the last 7 days | 0 | 0 |
| First seen (differs) | 2026-10-12 | 2026-10-11 |
| Endpoint at the last check (differs) | no remote endpoint we check | Responded 4 days ago |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
verifiedx
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 as OpenAI Agents, Claude Agent SDK, Vercel AI SDK, LangGraph, direct model clients, MCP, raw runtimes, lower seams, or explicit wrappers, then applies the minimal VerifiedX patch without redesigning the system. VerifiedX blocks unjustified high impact actions before execution while letting the workflow continue through the right path. It can also audit an existing integration and point out missing pieces or unnecessary complexity.
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
How to run each
verifiedx As a Claude Code plugin
/plugin marketplace add anthropics/claude-plugins-community
/plugin install verifiedx@claude-communityaaaa-nexus — Formally Verified AI Safety APIs As a remote MCP server
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcpCommands built only from what the marketplaces declare; the full set for every client is on each card.
Only aaaa-nexus — Formally Verified AI Safety APIs has a remote endpoint we check. How we check endpoints
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: verifiedx · What it can do: aaaa-nexus — Formally Verified AI Safety APIs · Compare two other plugins
Data comes from the public marketplace file https://github.com/anthropics/claude-plugins-community/blob/HEAD/.claude-plugin/marketplace.json. Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.