Lean Lsp Mcp is used in Python projects. Lean Theorem Prover MCP It has 4 direct runtime dependencies. Check its dependency graph on PyDeps to understand the full transitive dependency tree, reverse dependents, known CVEs, and license compatibility before installing.
Lean Theorem Prover MCP
lean-lsp-mcp declares 4 direct runtime dependencies on PyPI. Each one is resolved into the full dependency tree below:
Beyond its direct dependencies, lean-lsp-mcp can pull in further packages through its dependency tree. PyDeps resolves the entire chain from PyPI and deps.dev so you can see every transitive (nested) dependency of lean-lsp-mcp, expand any node on demand, and understand the full set of code that ships when you run pip install lean-lsp-mcp.
PyDeps checks lean-lsp-mcp and every package in its dependency tree against the OSV vulnerability database in real time. For each CVE you can see the severity, the affected version ranges, and the first fixed version, so you know exactly which lean-lsp-mcp version is safe to install before you ship.
lean-lsp-mcp is distributed under the MIT license. PyDeps also shows the license of every dependency in the tree so you can audit license compatibility across your whole lean-lsp-mcp install, not just the top-level package.
Install from PyPI with pip install lean-lsp-mcp. For offline or air-gapped environments, PyDeps can download lean-lsp-mcp together with every resolved dependency as wheel files in a single bundle, matched to your target Python version and operating system.
Switch to the dependents view to see the reverse dependencies of lean-lsp-mcp — the PyPI packages that list lean-lsp-mcp as a requirement. Reverse dependencies are a strong signal of how widely a package is trusted and how disruptive a breaking change would be.