AAAA Nexus MCP Formally verified AI safety APIs with 75+ endpoints and pay-per-call via USDC x402. GitHub → Website → crypto-web3