Skip to content
mcp/harbor
Verified official

aaaa-nexus — Formally Verified AI Safety APIs MCP

v0.4.0

io.github.atomadictech/aaaa-nexus

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

transport:streamable-http
View source Website

Target client

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

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.