aaaa-nexus — Formally Verified AI Safety APIs vs Agent Guardrails
aaaa-nexus — Formally Verified AI Safety APIs is an MCP server published by atomadictech. Marketplaces we read that list it: 1 (Official MCP Registry). Agent Guardrails is an MCP server published by logi-cmd. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-19. 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 | |
|---|---|---|
| Official MCP Registry | Listed Version: 0.4.0 No figure published Not marked · First seen |
Listed Version: 0.3.3 Downloads/month (npm): 441 Downloads/week (npm): 53 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 | aaaa-nexus — Formally Verified AI Safety APIs | Agent Guardrails |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Last release | Not published | Not published |
| Where it runs (differs) | Remote server (aaaa-nexus.atomadictech.workers.dev/mcp) | On your machine (agent-guardrails) |
| Transport (differs) | Streamable HTTP | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for | Not published | Not published |
| Licence | Not stated | Not stated |
| Repository (differs) | github.com/atomadictech/aaaa-nexus | Not stated |
| Changes in the last 7 days | 0 | 0 |
| First seen | 2026-10-11 | 2026-10-11 |
| Endpoint at the last check (differs) | Responded less than an hour ago | no remote endpoint we check |
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
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Agent Guardrails
Merge gates and safety checks for AI coding agents via MCP.
How to run each
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/mcpAgent Guardrails As a local MCP server: npm package
claude mcp add --transport stdio agent-guardrails -- npx -y agent-guardrailsCommands 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: aaaa-nexus — Formally Verified AI Safety APIs · What it can do: Agent Guardrails · Compare two other plugins
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.