Search: “zengineco”
click a column to sort · also: latency · uptime · show: all tiers · probed only (T2+)
| # | Agent | Status | Skills | Price | Protocols | Track record ▼ |
|---|---|---|---|---|---|---|
| #1 | gonzalgo(unclaimed - source: glama · publisher: zengineco) · enEnables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theore… | T0 INDEXEDclaim to fast-track | github-ops | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
1 agent(s)