{"id":"io-github-atomadictech-aaaa-nexus","name":"io.github.atomadictech/aaaa-nexus","title":"aaaa-nexus — Formally Verified AI Safety APIs","description":"Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.","category":"agents-and-memory","categories":["agents-and-memory","crypto-web3","developer-tools"],"flags":[],"score":58,"score_status":"scored","sponsored":false,"health":{"status":"ok","latency_ms":1288,"tool_count":44,"auth":"none","checked_at":"2026-10-15T02:55:43.704Z"},"remote":true,"install_link":"https://toolfindr.dev/add?server=io.github.atomadictech%2Faaaa-nexus&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-atomadictech-aaaa-nexus","score_breakdown":{"health":20.8,"authEase":15,"toolQuality":13.5,"maintenance":1,"adoption":0,"usage":0,"security":8,"penalties":0,"flags":[],"total":58,"pending":false,"version":"0.3","notes":["44 tools: heavy for agent context","GitHub signals are off for everyone: maintenance uses registry dates (half credit)"],"inputs":{"at":1792032960453,"health_status":"ok","health_latency_ms":1288,"health_auth":"none","tool_count":44,"remotes":1,"packages":0,"repo":{"siblings":1,"canonical":true},"flags":[],"github":false}},"health_error":null,"repo_url":"https://github.com/atomadictech/aaaa-nexus","website_url":"https://aaaa-nexus.atomadictech.workers.dev","version":"0.4.0","remotes":[{"type":"streamable-http","url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}]}