Back to search
30
MCP v0.4.0 streamable-http

aaaa-nexus — Formally Verified AI Safety APIs

io.github.atomadictech/aaaa-nexus

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

Uptime
0.0%
27 probes
Response
108ms
last probe
Tools
0
callable
Primary URL
https://aaaa-nexus.atomadictech.workers.dev/mcp

Similar MCP servers embedding-nearest

AAAA Nexus
Formally verified AI safety APIs with 75+ endpoints and pay-per-call via USDC x402.
0 tools
AAAA-Nexus MCP
Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.
0 tools
AAAA-Nexus MCP
Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.
0 tools
io.github.ruvnet/flow-nexus
Cloud-powered AI platform with multi-agent swarms, sandboxes, and workflow automation
0 tools
Sentinel
Pay-per-call safety checks for AI agents: screen a crypto address or URL before you transact.
0 tools · streamable-http
Aeon
x402-enabled service at https://aeon.xyz/AIPayment [x402: $0.001/call on eip155:8453, category=utility]
0 tools · http

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "aaaa-nexus_—_formally_verified_ai_safety_apis": {
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp",
      "transport": "streamable-http"
    }
  }
}