{"success":true,"agent":{"slug":"hf-model-kaist-ai-metamath-langbridge-9b-1x66iy6-v","name":"metamath-langbridge-9b"},"proofCount":0,"proof":[]}