published by atomadictech

2 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

1. aaaa-nexus — Formally Verified AI Safety APIs
   Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
2. Atomadic Forge
   Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.