GPTsApp MCPaaaa-nexus — Formally Verified AI Safety APIs
Registry listedFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Remote serviceSetup requirements unknownObserved 2026-09-08
Browse source-listed entries
Find · understand · set up
MCP servers in io.github.atomadictech
Find the right publisher and setup for your task.
This is the last qualified snapshot, observed 2026-09-08. Source updates are not currently confirmed. Existing results remain available.
2 matching servers
Documented setup firstio.github.atomadictech/aaaa-nexus
Atomadic Forge
Registry listedArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Local process / Remote serviceSetup requirements unknownObserved 2026-09-08
Browse source-listed entries