{"id":"670df354-0b8f-47a0-8dc2-9e937bb8b8d9","shortId":"Q7eR42","kind":"mcp","title":"AAAA-Nexus MCP","tagline":"Formally verified AI safety APIs","description":"Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.","tags":["github","aaaa","nexus","mcp"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.AAAA-Nexus%2Faaaa-nexus-mcp","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on anthropic_mcp","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-06-18T22:20:59.775Z","embedding":null,"createdAt":"2026-05-02T10:20:20.050Z","updatedAt":"2026-06-18T22:20:59.775Z","lastSeenAt":"2026-06-18T22:20:59.775Z","tsv":"'75':15 'aaaa':2 'aaaa-nexus':1 'ai':7,12 'api':9,14 'call':20 'endpoint':16 'formal':5,10 'mcp':4 'nexus':3 'pay':18 'pay-per-cal':17 'per':19 'safeti':8,13 'signup':25 'transport-stdio' 'usdc':22 'verifi':6,11 'via':21 'x402':23","prices":[{"id":"5b9f1366-71ce-4bc8-94a1-aee1f8df415c","listingId":"670df354-0b8f-47a0-8dc2-9e937bb8b8d9","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-05-02T10:20:20.050Z"}],"sources":[{"listingId":"670df354-0b8f-47a0-8dc2-9e937bb8b8d9","source":"anthropic_mcp","sourceId":"io.github.AAAA-Nexus/aaaa-nexus-mcp:0.1.1","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-05-02T10:20:20.050Z","lastSeenAt":"2026-06-18T22:20:59.775Z"}],"details":{"listingId":"670df354-0b8f-47a0-8dc2-9e937bb8b8d9","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.1.1","transport":"stdio","server_name":"io.github.AAAA-Nexus/aaaa-nexus-mcp","server_title":"AAAA-Nexus MCP"},"updatedAt":"2026-06-18T22:20:59.775Z"}}