├── .gitignore ├── .python-version ├── LICENSE ├── README.md ├── pyproject.toml ├── release.sh ├── src └── lean_lsp_mcp │ ├── __init__.py │ ├── __main__.py │ ├── client_utils.py │ ├── file_utils.py │ ├── instructions.py │ ├── loogle.py │ ├── models.py │ ├── outline_utils.py │ ├── search_utils.py │ ├── server.py │ └── utils.py ├── tests ├── __init__.py ├── conftest.py ├── helpers │ ├── __init__.py │ ├── mcp_client.py │ └── test_project.py ├── test_diagnostic_line_range.py ├── test_editor_tools.py ├── test_file_caching.py ├── test_logging.py ├── test_misc_tools.py ├── test_outline.py ├── test_project_tools.py ├── test_search_tools.py └── unit │ ├── test_build_progress.py │ ├── test_client_utils.py │ ├── test_file_utils.py │ ├── test_loogle.py │ ├── test_search_utils.py │ ├── test_server.py │ ├── test_utils.py │ └── test_windows_encoding.py └── uv.lock /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/.gitignore -------------------------------------------------------------------------------- /.python-version: -------------------------------------------------------------------------------- 1 | 3.10 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/README.md -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/pyproject.toml -------------------------------------------------------------------------------- /release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/release.sh -------------------------------------------------------------------------------- /src/lean_lsp_mcp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/__init__.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/__main__.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/client_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/client_utils.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/file_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/file_utils.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/instructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/instructions.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/loogle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/loogle.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/models.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/outline_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/outline_utils.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/search_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/search_utils.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/server.py -------------------------------------------------------------------------------- /src/lean_lsp_mcp/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/src/lean_lsp_mcp/utils.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/conftest.py -------------------------------------------------------------------------------- /tests/helpers/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/helpers/mcp_client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/helpers/mcp_client.py -------------------------------------------------------------------------------- /tests/helpers/test_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/helpers/test_project.py -------------------------------------------------------------------------------- /tests/test_diagnostic_line_range.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_diagnostic_line_range.py -------------------------------------------------------------------------------- /tests/test_editor_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_editor_tools.py -------------------------------------------------------------------------------- /tests/test_file_caching.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_file_caching.py -------------------------------------------------------------------------------- /tests/test_logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_logging.py -------------------------------------------------------------------------------- /tests/test_misc_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_misc_tools.py -------------------------------------------------------------------------------- /tests/test_outline.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_outline.py -------------------------------------------------------------------------------- /tests/test_project_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_project_tools.py -------------------------------------------------------------------------------- /tests/test_search_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/test_search_tools.py -------------------------------------------------------------------------------- /tests/unit/test_build_progress.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_build_progress.py -------------------------------------------------------------------------------- /tests/unit/test_client_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_client_utils.py -------------------------------------------------------------------------------- /tests/unit/test_file_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_file_utils.py -------------------------------------------------------------------------------- /tests/unit/test_loogle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_loogle.py -------------------------------------------------------------------------------- /tests/unit/test_search_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_search_utils.py -------------------------------------------------------------------------------- /tests/unit/test_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_server.py -------------------------------------------------------------------------------- /tests/unit/test_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_utils.py -------------------------------------------------------------------------------- /tests/unit/test_windows_encoding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/tests/unit/test_windows_encoding.py -------------------------------------------------------------------------------- /uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oOo0oOo/lean-lsp-mcp/HEAD/uv.lock --------------------------------------------------------------------------------