LICENSE
README.md
pyproject.toml
benchmarking/analyze_rankings.py
benchmarking/benchmark_search_rate.py
benchmarking/gather_search_data.py
benchmarking/inspect_prompts.py
benchmarking/reset_results.py
benchmarking/search_engine_ranker.py
dev_tools/__init__.py
dev_tools/config.py
dev_tools/llm_caller.py
dev_tools/population/__init__.py
dev_tools/population/phase1_tasks.py
dev_tools/population/phase2_tasks.py
dev_tools/population/phase3_tasks.py
dev_tools/population/phase4_tasks.py
dev_tools/population/phase5_tasks.py
lean_xplore.egg-info/PKG-INFO
lean_xplore.egg-info/SOURCES.txt
lean_xplore.egg-info/dependency_links.txt
lean_xplore.egg-info/entry_points.txt
lean_xplore.egg-info/requires.txt
lean_xplore.egg-info/top_level.txt
scripts/build_faiss_index.py
scripts/generate_docs_data.py
scripts/generate_embeddings.py
scripts/generate_manifest.py
scripts/get_summaries.py
scripts/lean_to_english.py
scripts/pagerank.py
scripts/populate_db.py
scripts/prepare_embedding_input.py
scripts/update_primary_declarations.py
src/config.py
src/lean_explore/__init__.py
src/lean_explore/defaults.py
src/lean_explore/api/__init__.py
src/lean_explore/api/client.py
src/lean_explore/cli/__init__.py
src/lean_explore/cli/agent.py
src/lean_explore/cli/config_utils.py
src/lean_explore/cli/data_commands.py
src/lean_explore/cli/main.py
src/lean_explore/http/__init__.py
src/lean_explore/http/server.py
src/lean_explore/local/__init__.py
src/lean_explore/local/search.py
src/lean_explore/local/service.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/shared/__init__.py
src/lean_explore/shared/models/__init__.py
src/lean_explore/shared/models/api.py
src/lean_explore/shared/models/db.py
tests/__init__.py
tests/conftest.py
tests/test_defaults.py
tests/lean_explore/__init__.py
tests/lean_explore/api/__init__.py
tests/lean_explore/api/test_client.py
tests/lean_explore/cli/__init__.py
tests/lean_explore/cli/test_config_utils.py
tests/lean_explore/cli/test_data_commands.py
tests/lean_explore/http/__init__.py
tests/lean_explore/http/test_server.py
tests/lean_explore/local/__init__.py
tests/lean_explore/local/test_search.py
tests/lean_explore/local/test_service.py
tests/lean_explore/mcp/__init__.py
tests/lean_explore/mcp/test_app.py
tests/lean_explore/mcp/test_server.py
tests/lean_explore/mcp/test_tools.py
tests/lean_explore/shared/__init__.py