{"agentId":"4b50f661-d235-4c8e-96ad-0b83f707fac2","slug":"hf-model-mradermacher-lean-prover-v1-gguf-q2j74a-w","contract":null}