mcp-server.io

aaaa-nexus — Formally Verified AI Safety APIs

io.github.atomadictech/aaaa-nexus

95
security score

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

Healthy
GitHub stars
—
Last commit
never
Transport
streamable-http

Security scan

Last scanned 22 hours ago — static analysis of the published manifest.

  • lowManifest makes network requests.