API Reference

The reference mirrors the package layout under src/open_atp/:

• provers — open_atp.provers: the prover registry (PROVERS, get_prover(), available_provers()), the AutomatedProver base, and the concrete candidate generators.

• lean — open_atp.lean: the Lean input contract (LeanProject, ProofTask) and the stage_files helper.

• verify — open_atp.verify: the output types (VerificationReport, ProofResult) and the shared Verifier.

• backends — open_atp.backends: the ComputeBackend sandbox primitive (docker | modal).

• harness — open_atp.harness: the agent-CLI harnesses composed by AgentProver.

• provers
  • Registry
  • Base
  • AgentProver
  • NuminaProver
  • AristotleProver
• lean
  • LeanProject
  • ProofTask
  • ToolchainMismatch
  • stage_files()
  • Staging input
  • Image defaults
• verify
  • VerificationReport
  • ProofResult
  • STANDARD_AXIOMS
  • docker_verifier()
  • Verifier
• backends
  • Base
  • Docker
  • Modal
• harness
  • Base
  • Harnesses
  • Asset bundles
  • Pricing