{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"streamable-http"},"description":"Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.","name":"io.github.atomadictech/aaaa-nexus","remotes":[{"type":"streamable-http","url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}],"repository":{"source":"github","url":"https://github.com/atomadictech/aaaa-nexus"},"title":"aaaa-nexus — Formally Verified AI Safety APIs","version":"0.4.0","websiteUrl":"https://aaaa-nexus.atomadictech.workers.dev"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T03:58:32Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T03:58:32Z"}}}