Index A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | V | W A AgentProver (class in open_atp.provers.agent_prover) AgentProverConfig (class in open_atp.provers.agent_prover) ARISTOTLE (open_atp.provers.PROVERS attribute) AristotleProver (class in open_atp.provers.aristotle) AristotleProverConfig (class in open_atp.provers.aristotle) AssetBundle (class in open_atp.harness.bundles) auth_spec() (open_atp.harness.axprover.AxProverHarness method) (open_atp.harness.base.Harness method) (open_atp.harness.claude_code.ClaudeCodeHarness method) (open_atp.harness.codex.CodexHarness method) (open_atp.harness.opencode.OpenCodeHarness method) (open_atp.harness.vibe.VibeHarness method) AuthSpec (class in open_atp.harness.base) AutomatedProver (class in open_atp.provers.base) AutomatedProverConfig (class in open_atp.provers.base) available_provers() (in module open_atp.provers) AXPROVER (open_atp.provers.PROVERS attribute) AxProverHarness (class in open_atp.harness.axprover) B backend (open_atp.backends.docker.DockerSession attribute) (open_atp.backends.modal.ModalSession attribute) BackendConfig (class in open_atp.backends.base) BUNDLES (in module open_atp.harness.bundles) C cancel() (open_atp.backends.base.CommandHandle method) check_compatible() (open_atp.verify.Verifier method) CLAUDE (open_atp.provers.PROVERS attribute) ClaudeCodeHarness (class in open_atp.harness.claude_code) close() (open_atp.backends.base.ComputeSession method) (open_atp.backends.docker.DockerSession method) (open_atp.backends.modal.ModalSession method) CODEX (open_atp.provers.PROVERS attribute) CodexHarness (class in open_atp.harness.codex) collect_logs() (open_atp.harness.axprover.AxProverHarness method) (open_atp.harness.base.Harness method) (open_atp.harness.vibe.VibeHarness method) command (open_atp.harness.base.Harness property) CommandHandle (class in open_atp.backends.base) CommandResult (class in open_atp.backends.base) compute_cost_usd() (in module open_atp.harness.cost) ComputeBackend (class in open_atp.backends.base) ComputeSession (class in open_atp.backends.base) config (open_atp.backends.docker.DockerBackend attribute) (open_atp.backends.modal.ModalBackend attribute) (open_atp.provers.agent_prover.AgentProver attribute) (open_atp.provers.aristotle.AristotleProver attribute) (open_atp.provers.numina.NuminaProver attribute) configure_wd() (open_atp.harness.base.Harness method) container (open_atp.backends.docker.DockerSession attribute) container_home (open_atp.backends.base.ComputeBackend attribute) (open_atp.backends.docker.DockerBackend attribute) (open_atp.backends.modal.ModalBackend attribute) COST_PER_MTOK (in module open_atp.harness.cost) D DEFAULT_BUNDLE (in module open_atp.harness.bundles) DEFAULT_IMAGE (in module open_atp.images) docker_verifier() (in module open_atp.verify) DockerBackend (class in open_atp.backends.docker) DockerConfig (class in open_atp.backends.docker) DockerSession (class in open_atp.backends.docker) E exec() (open_atp.backends.base.ComputeSession method) (open_atp.backends.docker.DockerSession method) (open_atp.backends.modal.ModalSession method) F files_with_sorry() (open_atp.lean.LeanProject method) from_config() (open_atp.harness.axprover.AxProverHarness class method) (open_atp.harness.base.Harness class method) (open_atp.harness.vibe.VibeHarness class method) from_dict() (open_atp.backends.base.BackendConfig class method) (open_atp.provers.base.AutomatedProverConfig class method) G get_prover() (in module open_atp.provers) H Harness (class in open_atp.harness.base) HARNESSES (in module open_atp.harness) HarnessRunResult (class in open_atp.harness.base) I Image (class in open_atp.images) image (open_atp.verify.Verifier property) instructions (open_atp.lean.ProofTask attribute) L lean_files() (open_atp.lean.LeanProject method) lean_toolchain (open_atp.images.Image attribute) (open_atp.lean.LeanProject property) LeanProject (class in open_atp.lean) M mathlib_rev (open_atp.images.Image attribute) (open_atp.lean.LeanProject property) metadata (open_atp.lean.ProofTask attribute) ModalBackend (class in open_atp.backends.modal) ModalConfig (class in open_atp.backends.modal) ModalSession (class in open_atp.backends.modal) N name (open_atp.images.Image attribute) NUMINA (open_atp.provers.PROVERS attribute) NuminaProver (class in open_atp.provers.numina) NuminaProverConfig (class in open_atp.provers.numina) O OPENCODE (open_atp.provers.PROVERS attribute) OpenCodeHarness (class in open_atp.harness.opencode) P parse() (open_atp.harness.axprover.AxProverHarness method) (open_atp.harness.base.Harness method) (open_atp.harness.vibe.VibeHarness method) PLUGINS_DIR (open_atp.harness.claude_code.ClaudeCodeHarness attribute) project (open_atp.lean.ProofTask attribute) ProofResult (class in open_atp.verify) ProofTask (class in open_atp.lean) prove() (open_atp.provers.base.AutomatedProver method) PROVERS (class in open_atp.provers) R resolve_bundle() (in module open_atp.harness.bundles) resolved_targets() (open_atp.lean.ProofTask method) root (open_atp.lean.LeanProject attribute) run() (open_atp.backends.base.ComputeBackend method) S sb (open_atp.backends.modal.ModalSession attribute) session() (open_atp.backends.base.ComputeBackend method) (open_atp.backends.docker.DockerBackend method) (open_atp.backends.modal.ModalBackend method) stage_files() (in module open_atp.lean) STANDARD_AXIOMS (in module open_atp.verify) start() (open_atp.backends.base.ComputeBackend method) static_env() (open_atp.harness.base.Harness method) (open_atp.harness.claude_code.ClaudeCodeHarness method) stream() (open_atp.backends.base.CommandHandle method) sync_in() (open_atp.backends.base.ComputeSession method) (open_atp.backends.docker.DockerSession method) (open_atp.backends.modal.ModalSession method) sync_out() (open_atp.backends.base.ComputeSession method) (open_atp.backends.docker.DockerSession method) (open_atp.backends.modal.ModalSession method) T targets (open_atp.lean.ProofTask attribute) to_dict() (open_atp.verify.ProofResult method) (open_atp.verify.VerificationReport method) ToolchainMismatch V VerificationReport (class in open_atp.verify) Verifier (class in open_atp.verify) verify() (open_atp.verify.Verifier method) VIBE (open_atp.provers.PROVERS attribute) VIBE_HOME_DIR (open_atp.harness.vibe.VibeHarness attribute) VibeHarness (class in open_atp.harness.vibe) W wait() (open_atp.backends.base.CommandHandle method) workdir (open_atp.backends.modal.ModalSession attribute)