Wayfound vs aaaa-nexus — Formally Verified AI Safety APIs
Wayfound is an MCP server published by docker. Marketplaces we read that list it: 1 (Docker MCP Catalog). 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-15. 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 |  aaaa-nexus — Formally Verified AI Safety APIs | |
|---|---|---|
| Docker MCP Catalog | Listed Version: not stated No figure published 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 | Wayfound | aaaa-nexus — Formally Verified AI Safety APIs |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Last release | Not published | Not published |
| Where it runs (differs) | Remote server (app.wayfound.ai/sse) | Remote server (aaaa-nexus.atomadictech.workers.dev/mcp) |
| Transport (differs) | SSE | Streamable HTTP |
| Tools it declares (differs) | 4 | Not published |
| Environment variables it asks for (differs) | 1, secrets among them: 1 | Not published |
| Licence (differs) | Apache-2.0 | Not stated |
| Repository (differs) | Not stated | github.com/atomadictech/aaaa-nexus |
| Changes in the last 7 days | 0 | 0 |
| First seen | 2026-10-11 | 2026-10-11 |
| Endpoint at the last check (differs) | not checked yet | Responded 27 h 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
Wayfound
Wayfound’s MCP server allows business users to govern, supervise, and improve AI Agents.
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
Wayfound As a remote MCP server
claude mcp add --transport sse wayfound https://app.wayfound.ai/sseRequires: MCP_API_KEY (secret)
aaaa-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
The marketplaces of aaaa-nexus — Formally Verified AI Safety APIs publish no list of tools, so we do not compare tools.
Settings each asks for
The marketplaces of aaaa-nexus — Formally Verified AI Safety APIs publish no settings it asks for, so we do not compare settings.
What it can do: Wayfound · What it can do: aaaa-nexus — Formally Verified AI Safety APIs · Compare two other plugins
Data comes from the Docker MCP Catalog (desktop.docker.com/mcp/catalog) and Docker Hub. 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.