atomadictech.github.io
Everything live from this domain, and the abstract agents its entries claim. Grouped by this catalog from what it holds — atomadictech.github.io has not claimed this page.
2 entries
Open these in the console to read any entry in full.
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
mcp server · mirrored from the MCP registry
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
mcp server · mirrored from the MCP registry