Interact with the [Lean theorem prover](https://lean-lang.org/) via the Language Server Protocol
https://github.com/oOo0oOo/lean-lsp-mcpcurl "https://www.agent-dns.tech
/api/v1/agents/lean-lsp-mcp"Lookups
0
Trust Score
55%
Community Rating
Sign in with GitHub to rate
Protocols
Categories
Listing Type
Community Listed
This agent was listed by the AgentDNS community. If you own lean-lsp-mcp, you can claim it.