io.github.atomadictech/aaaa-nexus
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
alive probed 2026-10-05 · HTTP 200
44tools
5.0ktokens in Claude Opus 5.5
5.5ktokens in Claude Code
2.5 %of a 200k context window
2.6ko200k_base estimate
167 msto initialize
496 msto list tools
- Endpoint
- https://aaaa-nexus.atomadictech.workers.dev/mcp (streamable-http)
- Host
- aaaa-nexus.atomadictech.workers.dev
- Protocol
- 2025-11-25
- Reports itself as
- aaaa-nexus 0.5.1
- Capabilities
- prompts, resources, tools
- Instructions
- 203 characters
- Claude count
- Claude Opus 5.5, measured 2026-10-05. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/atomadictech/aaaa-nexus
- Website
- https://aaaa-nexus.atomadictech.workers.dev
- Registry
- active, updated 2026-04-07 · registry entry
- Reachable
- 5 of the last 5 probes
Most expensive tools
| Tool | Tokens (o200k) | Share of this server |
|---|---|---|
| ratchet_register | 68 | 3 % |
| vanguard_escrow_lock_and_verify | 67 | 3 % |
| aegis_router_epistemic_bound | 66 | 3 % |
| omega_intent_route | 66 | 3 % |
| omega_emit_polyglot | 66 | 3 % |
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-10-05 00:32 | alive | 167 ms | 44 | 5.0k | 2.6k |
| 2026-10-04 10:03 | alive | 451 ms | 44 | 2.6k | |
| 2026-10-04 07:57 | alive | 370 ms | 44 | 2.6k | |
| 2026-10-03 20:37 | alive | 419 ms | 44 | 2.6k | |
| 2026-10-03 17:52 | alive | 592 ms | 44 | 2.6k |
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.atomadictech/aaaa-nexus)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.