Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Getting started
Add aaaa-nexus — Formally Verified AI Safety APIs 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.






