.gcloudignore
.gitignore
.pre-commit-config.yaml
CLAUDE.md
CONTRIBUTING.md
LICENSE
README.md
pyproject.toml
uv.lock
.github/dependabot.yml
.github/workflows/publish.yml
.github/workflows/unit_tests.yml
assets/figure1.png
configs/default.yaml
configs/default_base_llm.yaml
configs/llms.yaml
configs/prover_v2_qwen.yaml
configs/tools.yaml
configs/claude_ablations/claude4-5-fast-memory.yaml
configs/claude_ablations/claude4-5.yaml
configs/claude_ablations/claude4-6-fast-memory.yaml
configs/claude_ablations/claude4-6.yaml
configs/llm_comparison/flash.yaml
configs/llm_comparison/flash_base.yaml
configs/llm_comparison/gpt52.yaml
configs/llm_comparison/gpt52_base.yaml
configs/llm_comparison/pro.yaml
configs/llm_comparison/pro_base.yaml
configs/llm_comparison/sonnet.yaml
configs/llm_comparison/sonnet_base.yaml
configs/long_run/default_long_run.yaml
configs/long_run/experience.yaml
configs/long_run/full_system.yaml
configs/long_run/memoryless.yaml
configs/long_run/no_websearch.yaml
configs/long_run/previous_k.yaml
configs/long_run/single_shot.yaml
configs/thinking_ablation/flash_low.yaml
configs/thinking_ablation/flash_minimal.yaml
configs/thinking_ablation/opus_high.yaml
configs/thinking_ablation/opus_low.yaml
configs/thinking_ablation/pro_low.yaml
configs/thinking_ablation/sonnet_high.yaml
configs/thinking_ablation/sonnet_low.yaml
gcp/DEPLOY.md
gcp/Makefile
gcp/cloudbuild.base.yaml
gcp/cloudbuild.runner.yaml
gcp/env
gcp/env.example
gcp/docker/Dockerfile.base
gcp/docker/Dockerfile.runner
gcp/docker/bootstrap_envsecrets.py
gcp/docker/entrypoint.sh
gcp/docker/upload_artifacts.py
gcp/scripts/bootstrap.sh
gcp/scripts/build_base.sh
gcp/scripts/build_runner.sh
gcp/scripts/put_secret.sh
gcp/scripts/stop_jobs.sh
gcp/scripts/submit_batch_job.sh
gcp/scripts/sync_env_file_secret.sh
gcp/scripts/test_local.sh
notebooks/analysis.ipynb
notebooks/datasets_experiments.ipynb
src/ax_prover/__init__.py
src/ax_prover/__main__.py
src/ax_prover/_version.py
src/ax_prover/config.py
src/ax_prover/evaluators.py
src/ax_prover/main.py
src/ax_prover.egg-info/PKG-INFO
src/ax_prover.egg-info/SOURCES.txt
src/ax_prover.egg-info/dependency_links.txt
src/ax_prover.egg-info/entry_points.txt
src/ax_prover.egg-info/requires.txt
src/ax_prover.egg-info/top_level.txt
src/ax_prover/commands/__init__.py
src/ax_prover/commands/configure.py
src/ax_prover/commands/experiment.py
src/ax_prover/commands/prove.py
src/ax_prover/configs/.env.secrets.example
src/ax_prover/configs/__init__.py
src/ax_prover/configs/default.yaml
src/ax_prover/configs/llms.yaml
src/ax_prover/configs/tools.yaml
src/ax_prover/models/__init__.py
src/ax_prover/models/declaration.py
src/ax_prover/models/files.py
src/ax_prover/models/messages.py
src/ax_prover/models/output.py
src/ax_prover/models/proving.py
src/ax_prover/prover/__init__.py
src/ax_prover/prover/agent.py
src/ax_prover/prover/memory.py
src/ax_prover/prover/prompts.py
src/ax_prover/tools/__init__.py
src/ax_prover/tools/lean_search.py
src/ax_prover/tools/registry.py
src/ax_prover/tools/web_search.py
src/ax_prover/utils/__init__.py
src/ax_prover/utils/build.py
src/ax_prover/utils/config.py
src/ax_prover/utils/files.py
src/ax_prover/utils/git.py
src/ax_prover/utils/google_auth.py
src/ax_prover/utils/lean_interact.py
src/ax_prover/utils/lean_parsing.py
src/ax_prover/utils/llm.py
src/ax_prover/utils/proving.py
src/ax_prover/utils/logging/__init__.py
src/ax_prover/utils/logging/langsmith.py
src/ax_prover/utils/logging/logger.py
tests/__init__.py
tests/unit/__init__.py
tests/unit/test_evaluators.py
tests/unit/fixtures/sample.lean
tests/unit/models/__init__.py
tests/unit/models/test_files.py
tests/unit/models/test_messages.py
tests/unit/models/test_proving.py
tests/unit/prover/__init__.py
tests/unit/prover/test_agent_routing.py
tests/unit/prover/test_memory.py
tests/unit/tools/__init__.py
tests/unit/tools/test_lean_search.py
tests/unit/tools/test_registry.py
tests/unit/utils/test_build.py
tests/unit/utils/test_config.py
tests/unit/utils/test_files.py
tests/unit/utils/test_lean_parsing.py