Search: “com.axiomatic-ai”
click a column to sort · also: latency · uptime · show: all tiers · probed only (T2+)
| # | Agent | Status | Skills | Price | Protocols | Track record ▼ |
|---|---|---|---|---|---|---|
| #1 | prover(unclaimed - source: registry-official · publisher: com.axiomatic-ai) · enLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. | T0 INDEXEDclaim to fast-track | general-tools | not listed | MCP | not yet scored missing: pricing, reputation |
1 agent(s)