Skip to content
Claude.ai

aaaa-nexus — Formally Verified AI Safety APIs for Claude.ai

io.github.atomadictech/aaaa-nexus

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

client:Claude.ai transport:streamable-http tools:44

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

Settings → Connectors → Add custom connector

https://aaaa-nexus.atomadictech.workers.dev/mcp

Claude on the web takes a remote URL and completes OAuth in the browser. For a packaged server use Claude Desktop or Claude Code instead. Claude.ai docs

What Claude.ai can do once it is connected

All 44 tools →

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