SERVER
aaaa-nexus — Formally Verified AI Safety APIs
Rank #27616io.github.atomadictech/aaaa-nexus
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
First listed
Apr 7, 2026
Last publish date
Apr 7, 2026
OVERVIEW
aaaa-nexus — Formally Verified AI Safety APIs is a Model Context Protocol (MCP) server published by atomadictech. It ranks #27616 of 58,832 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. aaaa-nexus — Formally Verified AI Safety APIs is listed on Official MCP, with 1 tracked version. It was first listed on Apr 7, 2026 and most recently updated on Apr 7, 2026.
STANDING
#27,616of 58,832 tracked serversTop 50%
Ranks ahead of 31,216 of 58,832 servers on MCP Toplist.
CONNECT
Use aaaa-nexus — Formally Verified AI Safety APIs
Add aaaa-nexus — Formally Verified AI Safety APIs to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
Remote · HTTP
{
"mcpServers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}REGISTRIES
Listed on 1 registry
ORGANIZATION
atomadictech
MORE FROM THIS PUBLISHER
Other servers by atomadictech
View all atomadictech servers →VERSIONS
Available versions (1)
| Version | Published |
|---|---|
| 0.4.0 | Apr 7, 2026 |
FAQ
Frequently asked questions
- What is aaaa-nexus — Formally Verified AI Safety APIs?
- Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
- Who maintains aaaa-nexus — Formally Verified AI Safety APIs?
- aaaa-nexus — Formally Verified AI Safety APIs is maintained by atomadictech, which publishes 2 MCP servers (25 total versions) tracked on MCP Toplist.
- Is aaaa-nexus — Formally Verified AI Safety APIs an official MCP server?
- Yes — aaaa-nexus — Formally Verified AI Safety APIs is listed on the Official MCP Registry.
- How many versions does aaaa-nexus — Formally Verified AI Safety APIs have?
- MCP Toplist tracks 1 version of aaaa-nexus — Formally Verified AI Safety APIs, most recently published on Apr 7, 2026.
- Where can I find the source code for aaaa-nexus — Formally Verified AI Safety APIs?
- The source code for aaaa-nexus — Formally Verified AI Safety APIs is hosted at github.com/atomadictech/aaaa-nexus.
EXPLORE