AAAA-Nexus MCP✓

The full server descriptor as registered with IndusMCP.

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.AAAA-Nexus/aaaa-nexus-mcp",
  "description": "Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.",
  "title": "AAAA-Nexus MCP",
  "repository": {
    "url": "https://github.com/AAAA-Nexus/aaaa-nexus-mcp",
    "source": "github",
    "id": "1212877304"
  },
  "version": "0.1.1",
  "websiteUrl": "https://atomadic.tech",
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "aaaa-nexus-mcp",
      "version": "0.1.1",
      "runtimeHint": "python",
      "transport": {
        "type": "stdio"
      },
      "packageArguments": [
        {
          "value": "-m",
          "type": "positional"
        },
        {
          "value": "aaaa_nexus_mcp",
          "type": "positional"
        }
      ]
    }
  ],
  "_meta": {
    "dev.indusmcp/source": "official-registry-mirror",
    "dev.indusmcp/synced": "2026-05-12"
  }
}