Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.