GitHub repository: oOo0oOo/lean-lsp-mcp
Primary language: Python
Description: Lean Theorem Prover MCP