API Reference

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

• provers — open_atp.provers: the AutomatedProver base, its ProofResult output, the concrete candidate generators, and the standard catalog (standard_prover(), standard_provers()) that builds each ready-to-run default.

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

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

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

• verify — open_atp.verify: the VerificationReport and the shared Verifier.

• examples — open_atp.examples: bundled sorry’d example tasks (example_task(), EXAMPLE).

• provers
  • Base
  • Provers
  • Standard catalog
• harness
  • Base
  • Harnesses
  • Pricing
• backends
  • Base
  • Docker
  • Modal
• lean
  • Project
  • Task
  • Exceptions
  • Image defaults
• verify
  • Verifier
  • Report
  • Standard Verifiers
  • Axioms
• examples
  • example_task()
  • EXAMPLE