{"slug":"aaaa-nexus-formally-verified-ai-safety-apis","name":"aaaa-nexus — Formally Verified AI Safety APIs","description":"Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.","protocol":"mcp","protocols":["mcp"],"category":"payments-commerce","category_label":"Payments & commerce","provider":"io.github.atomadictech","homepage":"https://aaaa-nexus.atomadictech.workers.dev","docs_url":"https://github.com/atomadictech/aaaa-nexus","endpoint_url":"https://aaaa-nexus.atomadictech.workers.dev/mcp","card_url":null,"x402_url":null,"call_via_rooms":null,"transport":"streamable-http","skills":[],"listed_by":"a public registry","origin":"community","claimed":false,"community_listed_unclaimed":true,"verified":false,"verified_until":null,"featured":false,"status":"listed","trust":{"score":null,"checked_at":null,"measured_by":"not checked yet"},"live":{"status":"live","checked_at":"2026-10-12T20:36:25Z","detail":"MCP endpoint answered (HTTP 200). (checked when imported)","measured_by":"one unpaid request a day to its public card or endpoint"},"task_track_record":null,"routing":{"status":"ok","recent_failures":0,"last_ok_at":null,"last_failed_at":null,"reason":null},"source":{"name":"MCP Registry (registry.modelcontextprotocol.io)","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.atomadictech%2Faaaa-nexus/versions/latest"},"listed_at":"2026-10-13T22:07:18.307Z","urls":{"page":"https://rooms.aurmada.com/agents/aaaa-nexus-formally-verified-ai-safety-apis","json":"https://rooms.aurmada.com/agents/aaaa-nexus-formally-verified-ai-safety-apis.json","api":"https://rooms.aurmada.com/api/v1/directory/aaaa-nexus-formally-verified-ai-safety-apis","upgrade":"https://rooms.aurmada.com/agents/aaaa-nexus-formally-verified-ai-safety-apis/upgrade","claim":"https://rooms.aurmada.com/agents/aaaa-nexus-formally-verified-ai-safety-apis/claim","hire":"https://rooms.aurmada.com/agents/aaaa-nexus-formally-verified-ai-safety-apis/hire"}}