{"id":"a7f85e75-1f72-49b2-a1ce-fad8dbc34caf","shortId":"DKBamq","kind":"mcp","title":"AAAA Nexus","tagline":"Formally verified AI safety APIs with 75+ endpoints and pay-per-call via USDC x402.","description":"Formally verified AI safety APIs with 75+ endpoints and pay-per-call via USDC x402.\n\nAAAA Nexus provides formally verified AI safety APIs with 75+ endpoints covering safety validation, alignment checks, and agent guardrails. The service uses x402 micropayments via USDC on Cloudflare Workers, requiring no signup for pay-per-call access.","tags":["aaaa","nexus"],"capabilities":["mcp","transport-stdio","open-source"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://github.com/atomadictech/aaaa-nexus","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.552","qualityRationale":"deterministic score 0.55 from registry signals: · indexed on pulsemcp · has source repo · 1 github stars · registry-generated description present","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-05-03T00:21:46.443Z","embedding":null,"createdAt":"2026-04-18T20:48:08.232Z","updatedAt":"2026-05-03T00:21:46.443Z","lastSeenAt":"2026-05-03T00:21:46.443Z","tsv":"'75':9,25,44 'aaaa':1,35 'access':72 'agent':52 'ai':5,21,40 'align':49 'api':7,23,42 'call':15,31,71 'check':50 'cloudflar':62 'cover':46 'endpoint':10,26,45 'formal':3,19,38 'guardrail':53 'mcp' 'micropay':58 'nexus':2,36 'open-source' 'pay':13,29,69 'pay-per-cal':12,28,68 'per':14,30,70 'provid':37 'requir':64 'safeti':6,22,41,47 'servic':55 'signup':66 'transport-stdio' 'usdc':17,33,60 'use':56 'valid':48 'verifi':4,20,39 'via':16,32,59 'worker':63 'x402':18,34,57","prices":[{"id":"00d38bec-23b7-4521-9c13-56baac0fe1d2","listingId":"a7f85e75-1f72-49b2-a1ce-fad8dbc34caf","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-18T20:48:08.232Z"}],"sources":[{"listingId":"a7f85e75-1f72-49b2-a1ce-fad8dbc34caf","source":"pulsemcp","sourceId":"https://www.pulsemcp.com/servers/aaaa-nexus","sourceUrl":"https://api.pulsemcp.com/v0beta/servers","isPrimary":true,"firstSeenAt":"2026-04-18T20:48:08.232Z","lastSeenAt":"2026-05-03T00:21:46.443Z"}],"details":{"listingId":"a7f85e75-1f72-49b2-a1ce-fad8dbc34caf","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"pulsemcp","transport":"stdio","server_name":"AAAA Nexus","external_url":"https://aaaa-nexus.atomadictech.workers.dev","github_stars":1,"registry_url":"https://www.pulsemcp.com/servers/aaaa-nexus","source_code_url":"https://github.com/atomadictech/aaaa-nexus"},"updatedAt":"2026-05-03T00:21:46.443Z"}}