lean-explore 1.0.1__tar.gz → 1.0.2__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (48) hide show
  1. {lean_explore-1.0.1 → lean_explore-1.0.2}/PKG-INFO +1 -1
  2. {lean_explore-1.0.1 → lean_explore-1.0.2}/pyproject.toml +1 -1
  3. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/search/engine.py +4 -3
  4. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/PKG-INFO +1 -1
  5. {lean_explore-1.0.1 → lean_explore-1.0.2}/LICENSE +0 -0
  6. {lean_explore-1.0.1 → lean_explore-1.0.2}/README.md +0 -0
  7. {lean_explore-1.0.1 → lean_explore-1.0.2}/setup.cfg +0 -0
  8. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/__init__.py +0 -0
  9. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/api/__init__.py +0 -0
  10. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/api/client.py +0 -0
  11. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/cli/__init__.py +0 -0
  12. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/cli/data_commands.py +0 -0
  13. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/cli/display.py +0 -0
  14. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/cli/main.py +0 -0
  15. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/config.py +0 -0
  16. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/__init__.py +0 -0
  17. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/__main__.py +0 -0
  18. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/doc_gen4.py +0 -0
  19. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/doc_parser.py +0 -0
  20. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/embeddings.py +0 -0
  21. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/github.py +0 -0
  22. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/index.py +0 -0
  23. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/informalize.py +0 -0
  24. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/package_config.py +0 -0
  25. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/package_registry.py +0 -0
  26. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/package_utils.py +0 -0
  27. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/extract/types.py +0 -0
  28. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/mcp/__init__.py +0 -0
  29. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/mcp/app.py +0 -0
  30. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/mcp/server.py +0 -0
  31. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/mcp/tools.py +0 -0
  32. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/models/__init__.py +0 -0
  33. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/models/search_db.py +0 -0
  34. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/models/search_types.py +0 -0
  35. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/search/__init__.py +0 -0
  36. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/search/scoring.py +0 -0
  37. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/search/service.py +0 -0
  38. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/search/tokenization.py +0 -0
  39. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/util/__init__.py +0 -0
  40. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/util/embedding_client.py +0 -0
  41. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/util/logging.py +0 -0
  42. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/util/openrouter_client.py +0 -0
  43. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/util/reranker_client.py +0 -0
  44. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/SOURCES.txt +0 -0
  45. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/dependency_links.txt +0 -0
  46. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/entry_points.txt +0 -0
  47. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/requires.txt +0 -0
  48. {lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/top_level.txt +0 -0
{lean_explore-1.0.1 → lean_explore-1.0.2}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: lean-explore
3
- Version: 1.0.1
3
+ Version: 1.0.2
4
4
  Summary: A search engine for Lean 4 declarations.
5
5
  Author-email: Justin Asher <justinchadwickasher@gmail.com>
6
6
  License: Apache License
{lean_explore-1.0.1 → lean_explore-1.0.2}/pyproject.toml RENAMED
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
4
4
 
5
5
  [project]
6
6
  name = "lean-explore"
7
- version = "1.0.1"
7
+ version = "1.0.2"
8
8
  authors = [
9
9
  { name = "Justin Asher", email = "justinchadwickasher@gmail.com" },
10
10
  ]
{lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore/search/engine.py RENAMED
@@ -59,7 +59,7 @@ class SearchEngine:
59
59
  reranker_model_name: str = "Qwen/Qwen3-Reranker-0.6B",
60
60
  faiss_index_path: Path | None = None,
61
61
  faiss_ids_map_path: Path | None = None,
62
- use_local_data: bool = True,
62
+ use_local_data: bool = False,
63
63
  ):
64
64
  """Initialize the search engine.
65
65
 
@@ -71,8 +71,9 @@ class SearchEngine:
71
71
  reranker_model_name: Name of the reranker model to use.
72
72
  faiss_index_path: Path to FAISS index. Defaults to config path.
73
73
  faiss_ids_map_path: Path to FAISS ID mapping. Defaults to config path.
74
- use_local_data: If True, use DATA_DIRECTORY paths. If False, use
75
- CACHE_DIRECTORY paths (for downloaded remote data).
74
+ use_local_data: If True, use DATA_DIRECTORY paths (for locally
75
+ generated data). If False, use CACHE_DIRECTORY paths (for
76
+ data downloaded via 'lean-explore data fetch').
76
77
  """
77
78
  self._embedding_client = embedding_client
78
79
  self._embedding_model_name = embedding_model_name
{lean_explore-1.0.1 → lean_explore-1.0.2}/src/lean_explore.egg-info/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: lean-explore
3
- Version: 1.0.1
3
+ Version: 1.0.2
4
4
  Summary: A search engine for Lean 4 declarations.
5
5
  Author-email: Justin Asher <justinchadwickasher@gmail.com>
6
6
  License: Apache License
{lean_explore-1.0.1 → lean_explore-1.0.2}/LICENSE RENAMED
File without changes
{lean_explore-1.0.1 → lean_explore-1.0.2}/README.md RENAMED
File without changes
{lean_explore-1.0.1 → lean_explore-1.0.2}/setup.cfg RENAMED
File without changes