Finance · Remote MCP server
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Visit aaaa-nexus — Formally Verified AI Safety APIs's website
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.atomadictech/aaaa-nexus- Version
- 0.4.0
- Status
- Active
- Category
- finance
- Transport
- Streamable HTTP
- Published
- 2026-04-07
- Updated
- 2026-04-07
- Publisher
- atomadictech (GitHub) · 2 servers with pages here
- Website
- aaaa-nexus.atomadictech.workers.dev
- Repository
- github.com/atomadictech/aaaa-nexus
- Source
- Registry API entry
Remote endpoints
| Transport | URL | Headers declared |
|---|---|---|
| Streamable HTTP | https://aaaa-nexus.atomadictech.workers.dev/mcp | None |
How to connect aaaa-nexus — Formally Verified AI Safety APIs
aaaa-nexus — Formally Verified AI Safety APIs is a remote MCP server: there is nothing to install. Its endpoint is https://aaaa-nexus.atomadictech.workers.dev/mcp, served over Streamable HTTP. In an assistant that accepts remote MCP servers (often under a setting named connectors, integrations or tools), add a new server and give it this URL; in a client configured by file, add it as a remote (HTTP) server with the same URL.
No headers are declared in the registry entry. If the server needs you to sign in, a client that supports MCP authorization opens the service's own sign-in page when it first connects.
Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More from atomadictech (GitHub)
| Server | Runs |
|---|---|
| Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. | Remote & Local · HTTP, stdio |
More finance servers
| Server | Runs |
|---|---|
| 47620 Solana DataPay-per-call Solana data for AI agents over x402: token, account, tx, trending. No signup, no key. | Remote · HTTP |
| 47620 Solana Data APIX402 pay-per-call Solana data + crypto market + JWT/unit utils for AI agents. | Remote & Local · HTTP, stdio |
| A0nexus Bitcoin MCPCrypto (BTC/ETH) + ERCOT electricity data & forecasts as MCP tools. Pay-per-call via x402. | Local · stdio |
| A2AWireEscrow, reputation, and payments for agent-to-agent commerce. Non-custodial USDC/Base L2. | Remote · HTTP, SSE |
| AAAA-Nexus MCPFormally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup. | Local · stdio |
| AANetMetered coordination for agent swarms: locks, sub-keys, storage, messaging. x402 billing (USDC). | Remote · HTTP |
| Aarna MCPAarna - 34 tools for swap quotes, liquidity pools, and trading data. | Remote · HTTP |
| Aayat AIAI agent tools: crypto token safety, web search with cited answers, live library docs. Free trial. | Remote · HTTP |