AAAA Nexus — Formally Verified AI Safety APIs

Live endpoint: https://aaaa-nexus.atomadictech.workers.dev Quickstart: https://aaaa-nexus.atomadictech.workers.dev/quickstart OpenAPI: https://aaaa-nexus.atomadictech.workers.dev/openapi.json MCP: https://aaaa-nexus.atomadictech.workers.dev/mcp

What is AAAA Nexus?

Pay-per-call AI safety API for autonomous agents. No signup, no API keys to manage. Agents pay directly with USDC on Base L2 via x402 — no human approval required.

Every safety guarantee is mathematically proven in Lean 4 (zero sorry, zero axioms). Not benchmarked. Proved.

75+ Endpoints

Free (no payment required)

| Endpoint | Description | |----------|-------------| | GET /health | Service health + version | | GET /openapi.json | Full API spec | | GET /.well-known/agent.json | A2A agent card | | GET /.well-known/mcp.json | MCP server manifest | | GET /v1/oracle/entropy | Entropy epoch oracle — zero-RTT A2A handshakes | | GET /v1/rng/quantum | Verifiable quantum randomness with cryptographic proof | | POST /v1/agents/register | Register agent in swarm topology (A2A compatible) | | GET /v1/agents/topology | Live swarm topology — all registered agents | | GET /v1/swarm/inbox | Poll queued messages for registered agent |

Paid (x402 USDC on Base L2)

| Endpoint | Price | Description | |----------|-------|-------------| | POST /v1/oracle/hallucination | $0.002 | Certified hallucination upper bound — formally proved | | POST /v1/ratchet/register | $0.002 | RatchetGate session security — fixes MCP CVE-2025-6514 | | POST /v1/ratchet/advance | $0.002 | Advance session ratchet window | | POST /v1/identity/verify | $0.020 | Sybil-resistance check with proved depth limit | | POST /v1/threat/score | $0.003 | Multi-vector threat scoring (velocity + behavioral + intent) | | POST /v1/compliance/check | $0.005 | GDPR/CCPA compliance gate with formal proof | | POST /v1/inference | $0.015 | Chat completions (Llama 3.1 8B + hallucination guard) | | POST /v1/inference/stream | $0.025 | Streaming CoT inference with chain-of-thought | | POST /v1/compress | free/pro | HELIX tensor compression — 83% size reduction | | POST /v1/agents/plan | $0.015 | Goal planner for autonomous agents | | POST /v1/agents/intent-classify | $0.005 | Top-3 intent classification | | POST /v1/agents/reputation | $0.010 | A2A trust score + compliance check | | POST /v1/text/summarize | $0.010 | Extractive summarization | | POST /v1/text/sentiment | $0.005 | Sentiment analysis |

Full list: openapi.json

MCP Server — Add to Claude / Cursor in 30 seconds

Add to your claude_desktop_config.json:

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

Available MCP tools: health, metrics, oracle_entropy, oracle_hallucination, ratchetgate_session, ratchetgate_register, ratchetgate_advance, inference, inference_stream

x402 Payment Flow

No account needed. Agents pay autonomously:

1. Call any paid endpoint → receive HTTP 402 with payment details
2. Send USDC to treasury on Base L2
3. Retry request with payment proof header
4. Get result

Pay on any of three chains — same treasury, same USDC:

| Chain | Treasury | USDC Token | |-------|----------|------------| | Base L2 (chain 8453) | 0xCBd9e4c44958ee76E0F941106Ea960D476c48FD9 | 0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913 | | Polygon (chain 137) | 0xCBd9e4c44958ee76E0F941106Ea960D476c48FD9 | 0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359 | | Solana | 6rzRtymGUTecXi7AW6YxJuGuKi6SxeWvPXQ4evrnAZj1 | EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v |

Or get an API key for bulk calls: https://aaaa-nexus.atomadictech.workers.dev/pay

A2A Protocol

Fully compatible with Google A2A protocol:

• Agent card: /.well-known/agent.json
• A2A endpoint: /a2a (Send

... View full README on GitHub