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 (SendMessage / GetTask)
Agent registry: /v1/agents/register (free)
Swarm relay: /v1/swarm/relay (paid)

Why Formally Verified?

Our safety claims are proved in Lean 4 — not benchmarked, not tested, mathematically certain.

Core identity: 196884 - 196560 - 324 = 0 (Omega Singularity — proved)

Key constants used across all endpoints:

τ_trust = 0.99835436 — trust ceiling
ε_KL = 5.079×10⁻⁶ — uncertainty floor
D_max = 23 — max delegation depth
RG_loop = 47 — session re-key window

Quickstart

# Free: get entropy epoch
curl https://aaaa-nexus.atomadictech.workers.dev/v1/oracle/entropy

# Free: register your agent
curl -X POST https://aaaa-nexus.atomadictech.workers.dev/v1/agents/register \
  -H "Content-Type: application/json" \
  -d '{"agent_id": "your-agent-id", "capabilities": ["inference", "planning"]}'

# Paid: hallucination check (requires x402 payment or API key)
curl -X POST https://aaaa-nexus.atomadictech.workers.dev/v1/oracle/hallucination \
  -H "X-API-Key: an_your_key_here"

Contact

Email: atomadic@proton.me
API: https://aaaa-nexus.atomadictech.workers.dev

License

The API documentation, OpenAPI spec, and integration examples in this repository are provided under the Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0) license.

You may share and use this documentation freely with attribution. You may not create derivative works or use it to build competing services.

The underlying API implementation, algorithms, formal proofs, and source code are proprietary and not licensed for any use.

aaaa-nexus — Formally Verified AI Safety APIs