LICENSE
MANIFEST.in
README.md
pyproject.toml
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/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/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