{"success":true,"agent":{"slug":"hf-model-mradermacher-lemma-13b-gguf-1s4vxwm-r","name":"LEMMA-13B-GGUF"},"proofCount":0,"proof":[]}