LICENSE
README.md
pyproject.toml
src/lean_explore/__init__.py
src/lean_explore/defaults.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/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/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/test_defaults.py