{"success":true,"agent":{"slug":"hf-model-burakktalha-programminglanguages-183j2i-w","name":"programmingLanguages"},"proofCount":0,"proof":[]}