Skip to content
Claude Code

aaaa-nexus — Formally Verified AI Safety APIs for Claude Code

io.github.atomadictech/aaaa-nexus

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

client:Claude Code transport:streamable-http tools:44

Install aaaa-nexus — Formally Verified AI Safety APIs in Claude Code

run in your project directory

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

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

What Claude Code can do once it is connected

All 44 tools →

aaaa-nexus — Formally Verified AI Safety APIs in other clients