aaaa-nexus — Formally Verified AI Safety APIs
Rank #44,756io.github.atomadictech/aaaa-nexus
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
aaaa-nexus — Formally Verified AI Safety APIs is a Model Context Protocol (MCP) server published by atomadictech. It ranks #44,756 of 132,113 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. aaaa-nexus — Formally Verified AI Safety APIs is listed across 2 registries — Official MCP and mcp.so, with 1 tracked version. It was first listed on Apr 7, 2026 and most recently updated on Apr 7, 2026.
Ranks ahead of 87,357 of 132,113 servers on MCP Toplist.
Use aaaa-nexus — Formally Verified AI Safety APIs
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcp[mcp_servers.aaaa-nexus]
url = "https://aaaa-nexus.atomadictech.workers.dev/mcp"Add to ~/.codex/config.toml.
https://aaaa-nexus.atomadictech.workers.dev/mcpSettings → Connectors → “Add custom connector”, then paste this URL.
{
"mcpServers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"aaaa-nexus": {
"type": "http",
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"aaaa-nexus": {
"serverUrl": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.atomadictech%2Faaaa-nexus)<a href="https://mcptoplist.com/server/io.github.atomadictech%2Faaaa-nexus"><img src="https://mcptoplist.com/badge/io.github.atomadictech%2Faaaa-nexus.svg" alt="MCP Toplist: Top 50% of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 2 registries
atomadictech
Other servers by atomadictech
View all atomadictech servers →Available versions (1)
| Version | Published |
|---|---|
| 0.4.0 | Apr 7, 2026 |
Frequently asked questions
- 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 (42 total versions) tracked on MCP Toplist.
- Is aaaa-nexus — Formally Verified AI Safety APIs listed on the Official MCP Registry?
- Yes — aaaa-nexus — Formally Verified AI Safety APIs is listed on the Official MCP Registry, alongside mcp.so.
- 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.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.