aaaa-nexus — Formally Verified AI Safety APIs MCP server

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

Category: Dev tools

● Online, checked 239 min ago · 293 ms

Source: official MCP Registry entry io.github.atomadictech/aaaa-nexus · repository

Direct MCP URL and setup

CLAUDE CODE

claude mcp add --transport http io-github-atomadictech-aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcp

CURSOR / VS CODE (mcp.json)

{ "mcpServers": { "io-github-atomadictech-aaaa-nexus": { "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp" } } }