oOo0oOo
1 server
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
Lean LSP MCP
Enables LLM agents to interact with the Lean theorem prover through the Languag…
|
78 | B | 80 | 100 | — | 75 | 81 |
Showing 1–1 of 1 servers
1