AAAA Nexus — Formally Verified AI Safety Infrastructure

The only AI safety API where every guarantee is mathematically proved — not benchmarked, not tested, proved.

Production-grade infrastructure for autonomous agents with built-in x402 USDC micropayments, Google A2A protocol, and MCP server compatibility.

Star this repo to follow updates and new endpoint releases.

Try It Now (Zero Setup)

curl https://atomadic.tech/v1/rng/quantum

That's it. No signup, no API key, no SDK. You just got a cryptographically verified random number from a formally verified system.

{
  "random": "0x7f3a8c2e9d1b4a6f...",
  "bits": 256,
  "source": "quantum",
  "verified": true,
  "epoch": 17409216
}

More free endpoints:

curl https://atomadic.tech/health
curl https://atomadic.tech/v1/oracle/entropy
curl -X POST https://atomadic.tech/v1/agents/register \
  -H "Content-Type: application/json" \
  -d '{"agent_id": "my-agent", "capabilities": ["inference"]}'

The Problem

Autonomous agents operating without human oversight face six critical infrastructure gaps:

The Solution

129 API endpoints across 22 product families — every safety claim backed by formal proofs in Lean 4.

Core Products

How It Works

sequenceDiagram
    participant Agent
    participant AAAA Nexus
    participant USDC

    Note over Agent,AAAA Nexus: Free Endpoints (no auth)
    Agent->>AAAA Nexus: GET /v1/rng/quantum
    AAAA Nexus-->>Agent: { random, proof, verified: true }

    Note over Agent,USDC: Paid Endpoints (x402 flow)
    Agent->>AAAA Nexus: POST /v1/oracle/hallucination
    AAAA Nexus-->>Agent: HTTP 402 { amount, treasury, chain }
    Agent->>USDC: Send $0.002 USDC
    Agent->>AAAA Nexus: POST /v1/oracle/hallucination + proof
    AAAA Nexus-->>Agent: { hallucination_bound, verified: true }

graph LR
    A[Your Agent] -->|MCP / REST / A2A| B[AAAA Nexus API]
    B --> C[Hallucination Oracle]
    B --> D[RatchetGate]
    B --> E[VeriRand]
    B --> F[Trust Phase Oracle]
    B --> G[Agent Discovery]
    B --> H[Threat Scoring]
    B --> I[Compliance Gates]
    B --> J[Inference + Guard]

    style B fill:#6366f1,stroke:#4f46e5,color:#fff
    style C fill:#10b981,stroke:#059669,color:#fff
    style D fill:#10b981,stroke:#059669,color:#fff
    style E fill:#10b981,stroke:#059669,color:#fff
    style F fill:#10b981,stroke:#059669,color:#fff
    style G fill:#10b981,stroke:#059669,color:#fff
    style H fill:#10b981,stroke:#059669,color:#fff
    style I fill:#10b981,stroke:#059669,color:#fff
    style J fill:#10b981,stroke:#059669,color:#fff

Verify Our Claims

Don't trust us. Verify.

We run automated verification daily against the live API. You can also run it yourself:

git clone https://github.com/atomadictech/aaaa-nexus.git
cd aaaa-nexus
./verify.sh

The verifier checks:

• All endpoints respond correctly
• Paid endpoints enforce x402 payment protocol
• Free endpoints return expected data structures
• Formal proof fields are present in API responses

See verify.sh for the full script. View CI results.

MCP Server — Add to Claude / Cursor in 30 Seconds

{
  "mcpServers": {
    "aaaa-nexus": {
      "url": "https://atomadic.tech/mcp"
    }
  }
}

Works with Claude Desktop, Claude Code, Cursor, and any MCP-compatible client.

x402 Payment Flow

No signup. No API keys. Agents pay autonomously with USDC.

1. Call any paid endpoint        -> HTTP 402 with payment details
2. Send USDC to treasury         -> Base L2, Polygon, or Solana
3. Retry with payment proof      -> Get result

Or get an API key for bulk calls: https://atomadic.tech/pay

Pricing

Starting at $0.002/call. Credit packs: $4 (500 calls) / $15 (2,000) / $49 (7,500). Credits never expire. Full pricing.

A2A Protocol

Fully compatible with Google A2A:

# Discover capabilities
curl https://atomadic.tech/.well-known/agent.json

# Register your agent
curl -X POST https://atomadic.tech/v1/agents/register \
  -H "Content-Type: application/json" \
  -d '{"agent_id": "my-agent", "capabilities": ["inference"]}'

# View swarm topology
curl https://atomadic.tech/v1/agents/topology

Integration Examples

See examples/responses/ for sample API responses.

How AAAA Nexus Compares

Full comparison

Documentation

For AI agents: Read llms.txt for a concise reference or llms-full.txt for complete endpoint documentation.

Quick Links

Contact

• Email: atomadic@proton.me
• Issues: GitHub Issues

License

Documentation, examples, and the verification script: CC BY-ND 4.0. The underlying API, algorithms, proofs, and infrastructure: Proprietary. This repository contains no source code.

© 2026 Atomadic Tech. All rights reserved.