lean-lsp-mcp
Lean Theorem Prover MCP
pip install lean-lsp-mcp More in Python packages
All 9,553- locust-cloud Locust Cloud
- bigquery-schema-generator BigQuery schema generator from JSON or CSV data
- panel-material-ui An extension to bring MaterialUI components to Panel.
- leanclient Interact with the Lean theorem prover language server
- sglang-kernel Kernel Library for SGLang
- setupmeta Simplify your setup.py
- nvidia-cusparse-cu11 CUSPARSE native runtime libraries
- mypy-boto3-dlm Type annotations for boto3 DLM 1.43.0 service generated with mypy-boto3-builder 8.12.0
- nvidia-cufft-cu11 CUFFT native runtime libraries
- ensure Literate BDD assertions in Python with no magic
- jinjanator Command-line interface to Jinja2 for templating in shell scripts.
- traittypes Scipy trait types