lean-explore 1.2.0__py3-none-any.whl → 1.2.1__py3-none-any.whl

{lean_explore-1.2.0.dist-info → lean_explore-1.2.1.dist-info}/METADATA

@@ -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.dist-info → lean_explore-1.2.1.dist-info}/RECORD

@@ -35,9 +35,9 @@ lean_explore/util/embedding_client.py,sha256=6XJGJrGTXAiefDr-E1j_SPHTTZMIJYi62Pw
 lean_explore/util/logging.py,sha256=hF8YPi-1I6DdC1B_yROXA6u5GG14IIhD0Nym2FfqgRA,649
 lean_explore/util/openrouter_client.py,sha256=C_0HLO5o1seYjGl2zn6897i2onK7CdI6XxtE3cWb3Os,1926
 lean_explore/util/reranker_client.py,sha256=kLCTGPMQuphjwAj0PPi9KXpSzDP7o9JRQJpTbmWGiMs,6074
-lean_explore-1.2.0.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
-lean_explore-1.2.0.dist-info/METADATA,sha256=yKIU62Habl2ntFl_oloPMLJ2bNJwtFA6nfotyO6Leyk,17084
-lean_explore-1.2.0.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
-lean_explore-1.2.0.dist-info/entry_points.txt,sha256=FuKSRE7GmI9B_kM-xoiWEJj2dQ4upqhHnw8qH1vcjW8,59
-lean_explore-1.2.0.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
-lean_explore-1.2.0.dist-info/RECORD,,
+lean_explore-1.2.1.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
+lean_explore-1.2.1.dist-info/METADATA,sha256=oC9qaZmqz9DSc0oCK4sSuFCxm8caZ5XW8PwFLykUHgw,17665
+lean_explore-1.2.1.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
+lean_explore-1.2.1.dist-info/entry_points.txt,sha256=FuKSRE7GmI9B_kM-xoiWEJj2dQ4upqhHnw8qH1vcjW8,59
+lean_explore-1.2.1.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
+lean_explore-1.2.1.dist-info/RECORD,,