{"success":true,"agent":{"slug":"hf-model-mradermacher-lean-conjecturer-v1-gguf-1597ymo-11","name":"Lean_conjecturer_v1-GGUF"},"since":null,"changeCount":0,"changes":[]}