{"id":"5274bf3c-e58b-4b2a-9a66-5ab80b84e48a","shortId":"yKk7qb","kind":"mcp","title":"aaaa-nexus — Formally Verified AI Safety APIs","tagline":"Formally verified AI safety APIs","description":"Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.","tags":["github","atomadictech","aaaa","nexus"],"capabilities":["mcp","transport-streamable-http","remote-server"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://aaaa-nexus.atomadictech.workers.dev/mcp","protocol":"mcp","transport":"streamable-http","auth":{"type":"mcp","details":{"transport":"streamable-http","remote_url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}},"qualityScore":"0.450","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on anthropic_mcp · remote streamable-http","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-07-22T13:26:54.404Z","embedding":null,"createdAt":"2026-04-18T20:31:23.792Z","updatedAt":"2026-07-22T13:26:54.404Z","lastSeenAt":"2026-07-22T13:26:54.404Z","tsv":"'75':26 'aaaa':2 'aaaa-nexus':1 'ai':6,11,16 'api':8,13,18 'call':22 'endpoint':27 'formal':4,9,14 'mcp' 'nexus':3 'pay':20 'pay-per-cal':19 'per':21 'remote-server' 'safeti':7,12,17 'signup':29 'transport-streamable-http' 'usdc':24 'verifi':5,10,15 'via':23 'x402':25","prices":[{"id":"85097481-90b2-4383-aae5-6c73e681547b","listingId":"5274bf3c-e58b-4b2a-9a66-5ab80b84e48a","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"streamable-http","remote_url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"},"createdAt":"2026-04-18T20:31:23.792Z"}],"sources":[{"listingId":"5274bf3c-e58b-4b2a-9a66-5ab80b84e48a","source":"anthropic_mcp","sourceId":"io.github.atomadictech/aaaa-nexus:0.4.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-04-18T20:31:23.792Z","lastSeenAt":"2026-07-22T13:26:54.404Z"}],"details":{"listingId":"5274bf3c-e58b-4b2a-9a66-5ab80b84e48a","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.4.0","transport":"streamable-http","remote_url":"https://aaaa-nexus.atomadictech.workers.dev/mcp","server_name":"io.github.atomadictech/aaaa-nexus","server_title":"aaaa-nexus — Formally Verified AI Safety APIs"},"updatedAt":"2026-07-22T13:26:54.404Z"}}