.gitignore
.pre-commit-config.yaml
LICENSE
MANIFEST.in
README.md
pnpm-lock.yaml
pnpm-workspace.yaml
pyproject.toml
uv.lock
.github/workflows/unit_tests.yml
.vscode/launch.json
.vscode/settings.json
.vscode/tasks.json
extensions/ax-search-lean/.vscodeignore
extensions/ax-search-lean/CHANGELOG.md
extensions/ax-search-lean/LICENSE
extensions/ax-search-lean/README.md
extensions/ax-search-lean/esbuild.mjs
extensions/ax-search-lean/package.json
extensions/ax-search-lean/tsconfig.json
extensions/ax-search-lean/images/ax_logo_searchlean_search.svg
extensions/ax-search-lean/scripts/build-webview-assets.mjs
extensions/ax-search-lean/scripts/codegen-protocol.mjs
extensions/ax-search-lean/scripts/update-uv-pins.mjs
extensions/ax-search-lean/skills/ax-search-lean/SKILL.md
extensions/ax-search-lean/src/account.ts
extensions/ax-search-lean/src/extension.ts
extensions/ax-search-lean/src/globals.d.ts
extensions/ax-search-lean/src/onboarding.ts
extensions/ax-search-lean/src/output.ts
extensions/ax-search-lean/src/proc.ts
extensions/ax-search-lean/src/protocol.generated.ts
extensions/ax-search-lean/src/protocol.ts
extensions/ax-search-lean/src/sidecar.ts
extensions/ax-search-lean/src/statusBar.ts
extensions/ax-search-lean/src/util.ts
extensions/ax-search-lean/src/bootstrap/bootstrap.ts
extensions/ax-search-lean/src/bootstrap/exposeCli.ts
extensions/ax-search-lean/src/bootstrap/install.ts
extensions/ax-search-lean/src/bootstrap/pins.ts
extensions/ax-search-lean/src/bootstrap/skills.ts
extensions/ax-search-lean/src/bootstrap/terminalAccess.ts
extensions/ax-search-lean/src/bootstrap/uvDownload.ts
extensions/ax-search-lean/src/searchlean/dbUpdater.ts
extensions/ax-search-lean/src/searchlean/index.ts
extensions/ax-search-lean/src/searchlean/searchView.ts
extensions/ax-search-lean/src/updater/auth.ts
extensions/ax-search-lean/src/updater/checker.ts
extensions/ax-search-lean/src/updater/installer.ts
extensions/ax-search-lean/src/updater/release.ts
extensions/ax-search-lean/src/updater/version.ts
extensions/ax-search-lean/test/bootstrapConvergence.test.cjs
extensions/ax-search-lean/test/confirmForceLocalFetch.test.cjs
extensions/ax-search-lean/test/dbUpdater-vscode.cjs
extensions/ax-search-lean/test/dbUpdater.test.cjs
extensions/ax-search-lean/test/exposeCli.test.cjs
extensions/ax-search-lean/test/onboarding.test.cjs
extensions/ax-search-lean/test/rerankToggle-vscode.cjs
extensions/ax-search-lean/test/rerankToggle.test.cjs
extensions/ax-search-lean/test/sidecarResolve.test.cjs
extensions/ax-search-lean/test/skills.test.cjs
extensions/ax-search-lean/test/uvAssets.test.cjs
scripts/dump_protocol_schema.py
scripts/jixia_extract_mathlib.sh
scripts/jixia_progress.sh
scripts/probe_prompt_cache.py
scripts/reembed_search_db.py
scripts/repair_checkpoint_latex.py
scripts/truncate_search_db.py
src/ax_assistant_public/__init__.py
src/ax_assistant_public/_version.py
src/ax_assistant_public/cli.py
src/ax_assistant_public/config.py
src/ax_assistant_public/fetch.py
src/ax_assistant_public/informal_sources.py
src/ax_assistant_public/links.py
src/ax_assistant_public/logging.py
src/ax_assistant_public/protocol.py
src/ax_assistant_public/query.py
src/ax_assistant_public/secrets.py
src/ax_assistant_public/server.py
src/ax_assistant_public/sidecar.py
src/ax_assistant_public/status.py
src/ax_assistant_public/targets.py
src/ax_assistant_public/configs/__init__.py
src/ax_assistant_public/configs/default.yaml
src/ax_assistant_public/configs/llms.yaml
src/ax_assistant_public/enrich/__init__.py
src/ax_assistant_public/enrich/dep_context.py
src/ax_assistant_public/enrich/embed.py
src/ax_assistant_public/enrich/embed_text.py
src/ax_assistant_public/enrich/informalize.py
src/ax_assistant_public/enrich/lsv2_prompt.py
src/ax_assistant_public/enrich/rerank.py
src/ax_assistant_public/enrich/templates/leansearch_v2/README.md
src/ax_assistant_public/enrich/templates/leansearch_v2/definition.md.j2
src/ax_assistant_public/enrich/templates/leansearch_v2/instance.md.j2
src/ax_assistant_public/enrich/templates/leansearch_v2/lib.j2
src/ax_assistant_public/enrich/templates/leansearch_v2/technical_entry.md.j2
src/ax_assistant_public/enrich/templates/leansearch_v2/theorem.md.j2
src/ax_assistant_public/parsing/__init__.py
src/ax_assistant_public/parsing/corpus_workspace.py
src/ax_assistant_public/parsing/docgen.py
src/ax_assistant_public/parsing/jixia.py
src/ax_assistant_public/parsing/parser.py
src/ax_assistant_public/parsing/sources.py
src/ax_assistant_public/pipeline/__init__.py
src/ax_assistant_public/pipeline/builder.py
src/ax_assistant_public/pipeline/index.py
src/ax_assistant_public/rpc/__init__.py
src/ax_assistant_public/rpc/dispatcher.py
src/ax_assistant_public/rpc/errors.py
src/ax_assistant_public/rpc/events.py
src/ax_assistant_public/rpc/jobs.py
src/ax_assistant_public/rpc/log_handler.py
src/ax_assistant_public/rpc/protocol.py
src/ax_assistant_public/rpc/runtime.py
src/ax_assistant_public/runners/__init__.py
src/ax_assistant_public/runners/fetch_runner.py
src/ax_assistant_public/runners/query_runner.py
src/ax_assistant_public/storage/__init__.py
src/ax_assistant_public/storage/db.py
src/ax_assistant_public/storage/paths.py
src/ax_assistant_public/storage/schema.py
src/ax_assistant_release_staging.egg-info/PKG-INFO
src/ax_assistant_release_staging.egg-info/SOURCES.txt
src/ax_assistant_release_staging.egg-info/dependency_links.txt
src/ax_assistant_release_staging.egg-info/entry_points.txt
src/ax_assistant_release_staging.egg-info/requires.txt
src/ax_assistant_release_staging.egg-info/scm_file_list.json
src/ax_assistant_release_staging.egg-info/scm_version.json
src/ax_assistant_release_staging.egg-info/top_level.txt
tests/test_fetch_runner.py
tests/test_isolation.py
tests/test_sidecar.py
tests/searchlean/__init__.py
tests/searchlean/test_builder.py
tests/searchlean/test_check_availability.py
tests/searchlean/test_config.py
tests/searchlean/test_corpus_workspace.py
tests/searchlean/test_dep_context.py
tests/searchlean/test_discover_build_targets.py
tests/searchlean/test_discover_targets.py
tests/searchlean/test_docgen.py
tests/searchlean/test_embed.py
tests/searchlean/test_embed_openrouter.py
tests/searchlean/test_embed_route.py
tests/searchlean/test_embed_text.py
tests/searchlean/test_embed_voyage.py
tests/searchlean/test_fetch.py
tests/searchlean/test_fetch_server.py
tests/searchlean/test_index_source.py
tests/searchlean/test_informal_sources.py
tests/searchlean/test_informalize.py
tests/searchlean/test_jixia.py
tests/searchlean/test_links.py
tests/searchlean/test_lsv2_prompt.py
tests/searchlean/test_matryoshka.py
tests/searchlean/test_parser.py
tests/searchlean/test_paths.py
tests/searchlean/test_query_resolve.py
tests/searchlean/test_qwen512_defaults.py
tests/searchlean/test_rerank.py
tests/searchlean/test_server.py
tests/searchlean/test_status.py
tests/searchlean/test_status_cli.py
tests/searchlean/test_targets.py