Install
Visit the source repository to find installation instructions and documentation.
About this MCP server
Lean Lsp Mcp is a MCP server for Claude Code developed by ooo0ooo. It is tagged mcp, theorem-prover, lean, making it relevant for teams working in those areas. Visit the source repository to find installation instructions and documentation.
Categories
Frequently Asked Questions
What does Lean Lsp Mcp do?
Lean Lsp Mcp is a Claude Code MCP server by ooo0ooo. Lean Theorem Prover MCP It extends Claude Code's capabilities for developers who work with related workflows.
How do I install Lean Lsp Mcp?
To install Lean Lsp Mcp, visit the source repository at https://playbooks.com/mcp/ooo0ooo/lean-lsp-mcp and follow the installation instructions in the README.
Who made Lean Lsp Mcp?
Lean Lsp Mcp was created by ooo0ooo. You can find their other projects and contributions on GitHub at https://github.com/ooo0ooo.