LICENSE
MANIFEST.in
README.md
mkdocs.yml
pyproject.toml
docs/agents.md
docs/faq.md
docs/index.md
docs/install.md
docs/setup-search.md
docs/assets/octo-search-placeholder.svg
docs/assets/octo_search.svg
docs/assets/screenshots/dashboard-search-repos.png
docs/assets/screenshots/lean-declaration-search.png
docs/assets/screenshots/octo-search.png
docs/assets/screenshots/onboarding-01-signed-out.png
docs/assets/screenshots/onboarding-02-github-authorize.png
docs/assets/screenshots/onboarding-03-connect-vscode.png
docs/assets/screenshots/onboarding-04-grant-access.png
docs/assets/screenshots/onboarding-05-github-app-install.png
docs/assets/screenshots/onboarding-06-dashboard.png
docs/assets/screenshots/onboarding-07-indexing.png
docs/assets/screenshots/onboarding-08-download-database.png
docs/assets/screenshots/search-01-results-filtered.png
docs/assets/screenshots/search-02-result-expanded.png
docs/assets/screenshots/search-03-panel-with-source.png
docs/reference/configuration.md
src/axiomatic_octo/__init__.py
src/axiomatic_octo/_version.py
src/axiomatic_octo/cli.py
src/axiomatic_octo/config.py
src/axiomatic_octo/fetch.py
src/axiomatic_octo/informal_sources.py
src/axiomatic_octo/links.py
src/axiomatic_octo/logging.py
src/axiomatic_octo/mcp_server.py
src/axiomatic_octo/project_config.py
src/axiomatic_octo/protocol.py
src/axiomatic_octo/query.py
src/axiomatic_octo/secrets.py
src/axiomatic_octo/server.py
src/axiomatic_octo/sidecar.py
src/axiomatic_octo/status.py
src/axiomatic_octo/targets.py
src/axiomatic_octo.egg-info/PKG-INFO
src/axiomatic_octo.egg-info/SOURCES.txt
src/axiomatic_octo.egg-info/dependency_links.txt
src/axiomatic_octo.egg-info/entry_points.txt
src/axiomatic_octo.egg-info/requires.txt
src/axiomatic_octo.egg-info/scm_file_list.json
src/axiomatic_octo.egg-info/scm_version.json
src/axiomatic_octo.egg-info/top_level.txt
src/axiomatic_octo/configs/__init__.py
src/axiomatic_octo/configs/default.yaml
src/axiomatic_octo/configs/llms.yaml
src/axiomatic_octo/enrich/__init__.py
src/axiomatic_octo/enrich/dep_context.py
src/axiomatic_octo/enrich/embed.py
src/axiomatic_octo/enrich/embed_text.py
src/axiomatic_octo/enrich/informalize.py
src/axiomatic_octo/enrich/lsv2_prompt.py
src/axiomatic_octo/enrich/notices.py
src/axiomatic_octo/enrich/rerank.py
src/axiomatic_octo/enrich/templates/leansearch_v2/README.md
src/axiomatic_octo/enrich/templates/leansearch_v2/definition.md.j2
src/axiomatic_octo/enrich/templates/leansearch_v2/instance.md.j2
src/axiomatic_octo/enrich/templates/leansearch_v2/lib.j2
src/axiomatic_octo/enrich/templates/leansearch_v2/technical_entry.md.j2
src/axiomatic_octo/enrich/templates/leansearch_v2/theorem.md.j2
src/axiomatic_octo/parsing/__init__.py
src/axiomatic_octo/parsing/corpus_workspace.py
src/axiomatic_octo/parsing/docgen.py
src/axiomatic_octo/parsing/jixia.py
src/axiomatic_octo/parsing/lean_extract.py
src/axiomatic_octo/parsing/lean_extract_build.py
src/axiomatic_octo/parsing/parser.py
src/axiomatic_octo/pipeline/__init__.py
src/axiomatic_octo/pipeline/builder.py
src/axiomatic_octo/pipeline/index.py
src/axiomatic_octo/rpc/__init__.py
src/axiomatic_octo/rpc/dispatcher.py
src/axiomatic_octo/rpc/errors.py
src/axiomatic_octo/rpc/events.py
src/axiomatic_octo/rpc/jobs.py
src/axiomatic_octo/rpc/log_handler.py
src/axiomatic_octo/rpc/protocol.py
src/axiomatic_octo/rpc/runtime.py
src/axiomatic_octo/runners/__init__.py
src/axiomatic_octo/runners/fetch_runner.py
src/axiomatic_octo/runners/query_runner.py
src/axiomatic_octo/storage/__init__.py
src/axiomatic_octo/storage/db.py
src/axiomatic_octo/storage/paths.py
src/axiomatic_octo/storage/schema.py