Lean LSP MCP

MCP that allows agents to interact with the Lean LSP server.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (0.30.0)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for OliverDressler from gravatar.com OliverDressler

License expression

MIT
View SPDX License List

Requires

Python >=3.10

Provides Extra

lint dev

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

lean_lsp_mcp-0.0.1.tar.gz (5.6 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

lean_lsp_mcp-0.0.1-py3-none-any.whl (6.2 kB view details)

Uploaded Python 3

File details

Details for the file lean_lsp_mcp-0.0.1.tar.gz.

File metadata

  • Download URL: lean_lsp_mcp-0.0.1.tar.gz
  • Upload date:
  • Size: 5.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.6.10

File hashes

Hashes for lean_lsp_mcp-0.0.1.tar.gz
Algorithm Hash digest
SHA256 ce090bf9dac939c7c840bb6ad96027ad720cff55f06e0e0ca04e03dd67b944b6
MD5 cc41b41bdfd6cb3eb09cf58f60ec665e
BLAKE2b-256 8ba655967c04d5c3a8f24aa8114668e3a7a4bf1a0cc989a92d1a2ec3d32180fd

See more details on using hashes here.

File details

Details for the file lean_lsp_mcp-0.0.1-py3-none-any.whl.

File metadata

File hashes

Hashes for lean_lsp_mcp-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 3be75fad3d5b2cd8bc7d4f44a15d133fe8c4bc3b3bd9d7e20c0a0f9a1d721ac7
MD5 fb1a6c71ad9a9fbae62cc3e3e377cf11
BLAKE2b-256 c951f6a62a7de509f3d7922eac447d6f75ef50b2398996bc9200cc1412c01672

See more details on using hashes here.

Release history Release notifications | RSS feed

0.30.0

2 files

0.29.0

2 files

0.28.1

2 files

0.28.0

2 files

0.27.0

2 files

0.26.2

2 files

0.26.1

2 files

0.26.0

2 files

0.25.1

2 files

0.25.0

2 files

0.24.0

2 files

0.23.2

2 files

0.23.1

2 files

0.23.0

2 files

0.22.4

2 files

0.22.3

2 files

0.22.2

2 files

0.22.1

2 files

0.22.0

2 files

0.21.2

2 files

0.21.1

2 files

0.21.0

2 files

0.20.0

2 files

0.19.2

2 files

0.19.1

2 files

0.19.0

2 files

0.18.0

2 files

0.17.2

2 files

0.17.1

2 files

0.17.0

2 files

0.16.2

2 files

0.16.1

2 files

0.16.0

2 files

0.15.0

2 files

0.14.1

2 files

0.14.0

2 files

0.13.2

2 files

0.13.1

2 files

0.13.0

2 files

0.12.1

2 files

0.12.0

2 files

0.11.3

2 files

0.11.2

2 files

0.11.1

2 files

0.11.0

2 files

0.10.3

2 files

0.10.2

2 files

0.10.1

2 files

0.10.0

2 files

0.9.1

2 files

0.9.0

2 files

0.8.2

2 files

0.8.1

2 files

0.8.0

2 files

0.7.2

2 files

0.7.1

2 files

0.7.0

2 files

0.6.4

2 files

0.6.3

2 files

0.6.2

2 files

0.6.1

2 files

0.6.0

2 files

0.5.1

2 files

0.5.0

2 files

0.4.1

2 files

0.4.0

2 files

0.3.1

2 files

0.3.0

2 files

0.2.0

2 files

0.1.11

2 files

0.1.10

2 files

0.1.9

2 files

0.1.8

2 files

0.1.7

2 files

0.1.6

2 files

0.1.5

2 files

0.1.4

2 files

0.1.3

2 files

0.1.2

2 files

0.1.1

2 files

This release

0.0.1 This release

2 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page