[package]
name = "jouleclaw-prover-adapter"
version.workspace = true
edition.workspace = true
license.workspace = true
repository.workspace = true
authors.workspace = true
description = "Theorem-prover Elicitor for JouleClaw. Wraps 2026 SOTA Lean 4 provers (Leanstral, Goedel-Prover-V2, DeepSeek-Prover-V2, Kimina-Prover, Aristotle) as candidate PRODUCERS — emits Lean source the LeanOracle can then gate. Pairs jouleclaw-oracle-lean (the gate) with the prover adapters (the producer): the substrate proposes candidates, the Oracle accepts/rejects, fail-closed. The verified-code/1 receipt records which prover produced the candidate + which Oracle proved it. Trait-based; per-prover backends are configurable shells (subprocess + JSON I/O) so the substrate doesn't bind to one vendor's API."

[dependencies]
jouleclaw-oracle  = { path = "../jouleclaw-oracle" }
async-trait       = { workspace = true }
serde             = { workspace = true }
serde_json        = { workspace = true }
thiserror         = { workspace = true }

[dev-dependencies]
tokio = { workspace = true, features = ["macros", "rt"] }