PluginBench
MCP Server

aaaa-nexus — Formally Verified AI Safety APIs MCP Server

io.github.atomadictech/aaaa-nexus

RepositoryRegistry

What is the aaaa-nexus — Formally Verified AI Safety APIs MCP server?

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

How to install aaaa-nexus — Formally Verified AI Safety APIs

Copy-paste configuration for popular MCP clients.

transport: http
Config generated by PluginBench — verify against the source before use.
Cursor
~/.cursor/mcp.json
{
  "mcpServers": {
    "aaaa-nexus": {
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}
Windsurf
~/.codeium/windsurf/mcp_config.json
{
  "mcpServers": {
    "aaaa-nexus": {
      "serverUrl": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}
VS Code
.vscode/mcp.json
{
  "servers": {
    "aaaa-nexus": {
      "type": "http",
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}
Claude Desktop
Claude Desktop connects to remote servers via the mcp-remote bridge.
{
  "mcpServers": {
    "aaaa-nexus": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://aaaa-nexus.atomadictech.workers.dev/mcp"
      ]
    }
  }
}
Claude Code
claude mcp add --transport http aaaa-nexus https://aaaa-nexus.atomadictech.workers.dev/mcp

Related MCP servers

Atomadic Forge

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

View repository →