{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/aaaa-nexus","description":"Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.","title":"aaaa-nexus — Formally Verified AI Safety APIs","repository":{"url":"https://github.com/atomadictech/aaaa-nexus","source":"github"},"version":"0.4.0","websiteUrl":"https://aaaa-nexus.atomadictech.workers.dev","remotes":[{"type":"streamable-http","url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-07T18:09:21.225472Z","publishedAt":"2026-04-07T18:09:21.225472Z","updatedAt":"2026-04-07T18:09:21.225472Z","isLatest":true}}}],"metadata":{"count":1}}