lean-explore 1.2.0__tar.gz → 1.2.1__tar.gz

{lean_explore-1.2.0 → lean_explore-1.2.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lean-explore
-Version: 1.2.0
+Version: 1.2.1
 Summary: A search engine for Lean 4 declarations.
 Author-email: Justin Asher <justinchadwickasher@gmail.com>
 License:                                  Apache License
@@ -241,10 +241,13 @@ Requires-Dist: rich>=13.0.0
 Requires-Dist: requests>=2.25.0
 Requires-Dist: tenacity>=8.0.0
 Requires-Dist: pooch>=1.8.0
+Provides-Extra: local
+Requires-Dist: sentence-transformers>=2.2.0; extra == "local"
+Requires-Dist: torch>=2.0.0; extra == "local"
 Provides-Extra: extract
 Requires-Dist: sentence-transformers>=2.2.0; extra == "extract"
-Requires-Dist: networkx>=3.0; extra == "extract"
 Requires-Dist: torch>=2.0.0; extra == "extract"
+Requires-Dist: networkx>=3.0; extra == "extract"
 Provides-Extra: dev
 Requires-Dist: pytest>=7.0; extra == "dev"
 Requires-Dist: pytest-cov>=4.0; extra == "dev"
@@ -283,6 +286,27 @@ A search engine for Lean 4 declarations. This project provides tools and resourc
 
 **For full documentation, please visit: [https://www.leanexplore.com/docs](https://www.leanexplore.com/docs)**
 
+## Installation
+
+The base package connects to the remote API and does not require heavy ML dependencies:
+
+```bash
+pip install lean-explore
+```
+
+To run the **local** search backend (which uses on-device embedding and reranking models), install the extra ML dependencies:
+
+```bash
+pip install lean-explore[local]
+```
+
+Then fetch the data files and start the local MCP server:
+
+```bash
+lean-explore data fetch
+lean-explore mcp serve --backend local
+```
+
 The current indexed projects include:
 
 * Batteries

{lean_explore-1.2.0 → lean_explore-1.2.1}/README.md

@@ -25,6 +25,27 @@ A search engine for Lean 4 declarations. This project provides tools and resourc
 
 **For full documentation, please visit: [https://www.leanexplore.com/docs](https://www.leanexplore.com/docs)**
 
+## Installation
+
+The base package connects to the remote API and does not require heavy ML dependencies:
+
+```bash
+pip install lean-explore
+```
+
+To run the **local** search backend (which uses on-device embedding and reranking models), install the extra ML dependencies:
+
+```bash
+pip install lean-explore[local]
+```
+
+Then fetch the data files and start the local MCP server:
+
+```bash
+lean-explore data fetch
+lean-explore mcp serve --backend local
+```
+
 The current indexed projects include:
 
 * Batteries

{lean_explore-1.2.0 → lean_explore-1.2.1}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "lean-explore"
-version = "1.2.0"
+version = "1.2.1"
 authors = [
     { name = "Justin Asher", email = "justinchadwickasher@gmail.com" },
 ]
@@ -66,10 +66,15 @@ Repository = "https://github.com/justincasher/lean-explore"
 lean-explore = "lean_explore.cli.main:app"
 
 [project.optional-dependencies]
+local = [
+    "sentence-transformers>=2.2.0",
+    "torch>=2.0.0",
+]
+
 extract = [
     "sentence-transformers>=2.2.0",
-    "networkx>=3.0",
     "torch>=2.0.0",
+    "networkx>=3.0",
 ]
 
 dev = [

{lean_explore-1.2.0 → lean_explore-1.2.1}/src/lean_explore.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lean-explore
-Version: 1.2.0
+Version: 1.2.1
 Summary: A search engine for Lean 4 declarations.
 Author-email: Justin Asher <justinchadwickasher@gmail.com>
 License:                                  Apache License
@@ -241,10 +241,13 @@ Requires-Dist: rich>=13.0.0
 Requires-Dist: requests>=2.25.0
 Requires-Dist: tenacity>=8.0.0
 Requires-Dist: pooch>=1.8.0
+Provides-Extra: local
+Requires-Dist: sentence-transformers>=2.2.0; extra == "local"
+Requires-Dist: torch>=2.0.0; extra == "local"
 Provides-Extra: extract
 Requires-Dist: sentence-transformers>=2.2.0; extra == "extract"
-Requires-Dist: networkx>=3.0; extra == "extract"
 Requires-Dist: torch>=2.0.0; extra == "extract"
+Requires-Dist: networkx>=3.0; extra == "extract"
 Provides-Extra: dev
 Requires-Dist: pytest>=7.0; extra == "dev"
 Requires-Dist: pytest-cov>=4.0; extra == "dev"
@@ -283,6 +286,27 @@ A search engine for Lean 4 declarations. This project provides tools and resourc
 
 **For full documentation, please visit: [https://www.leanexplore.com/docs](https://www.leanexplore.com/docs)**
 
+## Installation
+
+The base package connects to the remote API and does not require heavy ML dependencies:
+
+```bash
+pip install lean-explore
+```
+
+To run the **local** search backend (which uses on-device embedding and reranking models), install the extra ML dependencies:
+
+```bash
+pip install lean-explore[local]
+```
+
+Then fetch the data files and start the local MCP server:
+
+```bash
+lean-explore data fetch
+lean-explore mcp serve --backend local
+```
+
 The current indexed projects include:
 
 * Batteries

{lean_explore-1.2.0 → lean_explore-1.2.1}/src/lean_explore.egg-info/requires.txt

@@ -30,5 +30,9 @@ sentence-transformers>=2.2.0
 
 [extract]
 sentence-transformers>=2.2.0
+torch>=2.0.0
 networkx>=3.0
+
+[local]
+sentence-transformers>=2.2.0
 torch>=2.0.0