atomadictech
2 servers published under atomadictech. 1 answered our last handshake, 1 did not, and between them they expose 44 tools.
2 servers 1 answering 1 not responding 978 installs/wk
aaaa-nexus — Formally Verified AI Safety APIs
io.github.atomadictech/aaaa-nexus
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Atomadic Forge
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.