MCP servers from atomadictech (GitHub)

2 servers, 1 answering our latest check. Online first.

aaaa-nexus — Formally Verified AI Safety APIs

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
aaaa-nexus.atomadictech.workers.dev/mcp
● Online, checked 337 min ago

by atomadictech (GitHub)

Atomadic Forge

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
forge.atomadic.tech/mcp
● Offline, checked 337 min ago

by atomadictech (GitHub)