AAAA-Nexus MCP

AAAA-Nexus MCP is an MCP server for Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.. It supports STDIO transport.

Use the generated config in Install. This server runs with uvx aaaa-nexus-mcp; add any required environment variables before starting your client.

Choose the Claude Desktop tab in Install and copy the config for uvx aaaa-nexus-mcp. Add required environment variables before starting Claude Desktop.

Choose the Claude Code tab in Install and copy the config for uvx aaaa-nexus-mcp. Add required environment variables before starting Claude Code.

Choose the Codex tab in Install and copy the config for uvx aaaa-nexus-mcp. Add required environment variables before starting Codex.

Choose the Cursor or VS Code tab in Install and copy the config for uvx aaaa-nexus-mcp. Add required environment variables before starting Cursor or VS Code.

AAAA-Nexus MCP uses STDIO transport. Use the package or command config in Install.

AAAA-Nexus MCP inventory is listed when the MCP endpoint exposes tools, resources, or prompts. Some servers require auth first.

AAAA-Nexus MCP does not advertise a verified auth requirement. If discovery fails, it may still need provider login, an API key, a bearer token, or a session header.