Index A | C | D | E | F | H | I | L | M | N | O | P | R | S | T | V | W A agent_auth() (open_atp.harness.base.Harness method) AgentAuth (class in open_atp.harness.base) AgentProver (class in open_atp.provers.agent_prover) AristotleProver (class in open_atp.provers.aristotle) AutomatedProver (class in open_atp.provers.base) AxProverHarness (class in open_atp.harness.axprover) C cancel() (open_atp.backends.base.CommandHandle method) check_compatible() (open_atp.verify.Verifier method) 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) 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) 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) COST_PER_MTOK (in module open_atp.harness.cost) create_project() (in module open_atp.lean) D DEFAULT_IMAGE (in module open_atp.images) docker_verifier() (in module open_atp.verify) DockerBackend (class in open_atp.backends.docker) DockerSession (class in open_atp.backends.docker) E EXAMPLE (class in open_atp.examples) example_task() (in module open_atp.examples) 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) H Harness (class in open_atp.harness.base) HarnessRunResult (class in open_atp.harness.base) I Image (class in open_atp.images) L lean_files() (open_atp.lean.LeanProject method) LeanProject (class in open_atp.lean) M modal_verifier() (in module open_atp.verify) ModalBackend (class in open_atp.backends.modal) ModalSession (class in open_atp.backends.modal) N NuminaProver (class in open_atp.provers.numina) O OpenCodeHarness (class in open_atp.harness.opencode) P parse_result() (open_atp.harness.axprover.AxProverHarness method) (open_atp.harness.base.Harness method) (open_atp.harness.vibe.VibeHarness method) ProofResult (class in open_atp.provers.base) ProofTask (class in open_atp.lean) prove() (open_atp.provers.base.AutomatedProver method) R resolved_targets() (open_atp.lean.ProofTask method) run() (open_atp.backends.base.ComputeBackend method) S session() (open_atp.backends.base.ComputeBackend method) (open_atp.backends.docker.DockerBackend method) (open_atp.backends.modal.ModalBackend method) stage_skills() (open_atp.harness.base.Harness method) stage_wd() (open_atp.harness.axprover.AxProverHarness method) (open_atp.harness.base.Harness method) (open_atp.harness.claude_code.ClaudeCodeHarness method) (open_atp.harness.opencode.OpenCodeHarness method) (open_atp.harness.vibe.VibeHarness method) STANDARD_AXIOMS (in module open_atp.verify) standard_prover() (in module open_atp.config) STANDARD_PROVERS (in module open_atp.config) standard_provers() (in module open_atp.config) start() (open_atp.backends.base.ComputeBackend 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 to_dict() (open_atp.provers.base.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) VibeHarness (class in open_atp.harness.vibe) W wait() (open_atp.backends.base.CommandHandle method) write_prompt() (open_atp.harness.base.Harness method)