atomadictech
2 servers
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/…
|
— | — | — | — | — | — | — | ||
| 2 |
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, …
|
82 | B | 84 | 90 | 100 | 47 | 81 |
Showing 1–2 of 2 servers
1