{"success":true,"agent":{"slug":"hf-model-mradermacher-bfs-prover-gguf-ygbuq5-s","name":"BFS-Prover-GGUF"},"since":null,"changeCount":0,"changes":[]}