mcpbind-lean-lsp-mcp

MCP Server package for lean-lsp-mcp published to PyPI registry.

Installation

pip install mcpbind-lean-lsp-mcp

mcpbind-lean-lsp-mcp

This is a wrapper for the lean-lsp-mcp MCP server.

MIT

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Table of built distributions (wheels) for mcpbind-lean-lsp-mcp 3.313.7.4364
File	Interpreter	ABI	Platform	Reset
mcpbind_lean_lsp_mcp-3.313.7.4364-py3-none-any.whl 2.1 kB Sep 3, 2025	Python 3	none	any	Details

Download URL	mcpbind_lean_lsp_mcp-3.313.7.4364-py3-none-any.whl
Size	2.1 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`8f36a4798e719099ff4e8206436a5235fce59a03e1b3d57341fb9bf6184cace1`
BLAKE2b-256 checksum How to use checksums	`8a833bd3979b83d1851e695ecc2c74ca4b403183cb59640891607921b0d922e4`
Upload date	Sep 3, 2025
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/6.1.0 CPython/3.10.12`

This release

3.313.7.4364 This release