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.

<details>
<summary>Expected response</summary>

{
  "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:

| Gap | Risk |
|-----|------|
| Session hijacking | Credential theft via MCP session fixation |
| Undetected hallucinations | Agents act on fabricated information |
| No agent accountability | Rogue agents with zero traceability |
| Unauditable randomness | "Random" outputs that can be predicted or replayed |
| Unbounded delegation | Infinite agent spawning without limits |
| No economic framework | No way for agents to pay each other |

The Solution

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

Core Products

| Product | What It Does |
|---------|-------------|
| Hallucination Oracle | Certified upper bound on hallucination probability |
| RatchetGate | Session re-keying that prevents session fixation |
| VeriRand | Cryptographically verified quantum randomness |
| Trust Phase Oracle | Mathematical trust scoring with proved ceiling |
| Topological Identity | Sybil-resistant agent verification |
| AAAA Shield | Post-quantum session security |
| Agent Discovery | A2A-compatible agent registry and topology |
| SLA Engine | Enforceable service-level agreements between agents |
| Agent Escrow | Trustless payment escrow for agent-to-agent work |
| Reputation Ledger | On-chain reputation tracking |
| Text Processing | Summarization, sentiment, NER, translation, embeddings (12 endpoints) |
| Delegation Control | UCAN chains with proved depth limits |
| Key Management | Generate, rotate, and revoke cryptographic keys |
| Audit Trail | Tamper-proof logging, trails, and export |
| Credits & Billing | Balance, purchase, usage history |

---

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:

```bash