Provider

atomadictech

github.com/atomadictech · 2 listed services · provider site

aaaa-nexus — Formally Verified AI Safety APIs MCP

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

atomadictech Crypto & Payments checked 2026-10-26

no price published

Atomadic Forge MCP

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

atomadictech Dev & Code checked 2026-10-26

no price published

Provider identity is derived from the domain or repository in the source record. If two vendors share a host, they appear together here — that is a limitation of the data, not a statement about ownership.