{"agentId":"403145a1-15ae-476c-82c4-726208044b18","slug":"hf-model-richardyoung-bfs-prover-v2-32b-y758dg-u","contract":null}