io.github.atomadictech/aaaa-nexus
aaaa-nexus — Formally Verified AI Safety APIs
io.github.atomadictech/aaaa-nexus costs 2 616 tokens of context per session. It has 44 tool definitions. That is 1.3 % of a 200k window. Measured 2026-10-03.
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
alive probed 2026-10-03 · HTTP 200
44tools
2.6ktokens for the tool definitions
1.3 %of a 200k context window
419 msto initialize
728 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
- Repository
- https://github.com/atomadictech/aaaa-nexus
- Website
- https://aaaa-nexus.atomadictech.workers.dev
- Registry
- active, updated 2026-04-07 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | 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 | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:37 | alive | 419 ms | 44 | 2.6k |
| 2026-10-03 17:52 | alive | 592 ms | 44 | 2.6k |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.atomadictech/aaaa-nexus)