Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.
Getting started
Add AAAA-Nexus MCP to your MCP-capable client — Claude Code, Cursor, Codex, and others — by following the setup at the source, which documents the exact command, configuration, and any required API keys.
