LICENSE
README.md
pyproject.toml
src/lean_explore/__init__.py
src/lean_explore/config.py
src/lean_explore.egg-info/PKG-INFO
src/lean_explore.egg-info/SOURCES.txt
src/lean_explore.egg-info/dependency_links.txt
src/lean_explore.egg-info/entry_points.txt
src/lean_explore.egg-info/requires.txt
src/lean_explore.egg-info/top_level.txt
src/lean_explore/api/__init__.py
src/lean_explore/api/client.py
src/lean_explore/cli/__init__.py
src/lean_explore/cli/data_commands.py
src/lean_explore/cli/display.py
src/lean_explore/cli/main.py
src/lean_explore/extract/__init__.py
src/lean_explore/extract/__main__.py
src/lean_explore/extract/doc_gen4.py
src/lean_explore/extract/doc_parser.py
src/lean_explore/extract/embeddings.py
src/lean_explore/extract/github.py
src/lean_explore/extract/index.py
src/lean_explore/extract/informalize.py
src/lean_explore/extract/package_config.py
src/lean_explore/extract/package_registry.py
src/lean_explore/extract/package_utils.py
src/lean_explore/extract/types.py
src/lean_explore/mcp/__init__.py
src/lean_explore/mcp/app.py
src/lean_explore/mcp/server.py
src/lean_explore/mcp/tools.py
src/lean_explore/models/__init__.py
src/lean_explore/models/search_db.py
src/lean_explore/models/search_types.py
src/lean_explore/search/__init__.py
src/lean_explore/search/engine.py
src/lean_explore/search/scoring.py
src/lean_explore/search/service.py
src/lean_explore/search/tokenization.py
src/lean_explore/util/__init__.py
src/lean_explore/util/embedding_client.py
src/lean_explore/util/logging.py
src/lean_explore/util/openrouter_client.py
src/lean_explore/util/reranker_client.py