{"success":true,"agent":{"slug":"hf-model-mradermacher-formalrx-4b-instruct-gguf-19vk14u-12","name":"FormalRx-4B-Instruct-GGUF"},"proofCount":0,"proof":[]}