Lean Lsp Mcp

https://github.com/ooo0ooo/lean-lsp-mcp

Lean Lsp Mcp is an MCP server that enables LLM agents to interact with the Lean theorem prover via...

Tokens:3,088
Snippets:19
Trust Score:8
License:MIT
Update:9 months ago
Tokens:
Raw