gleachkr
1 server
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
Aristotle MCP Server
Enables LLMs to prove theorems in Lean and formalize mathematical problems usin…
|
60 | C | 68 | 28 | — | 27 | 81 |
Showing 1–1 of 1 servers
1