{"success":true,"agent":{"slug":"hf-model-pythagoras-lm-pythagoras-prover-4b-ozl1mm-y","name":"Pythagoras-Prover-4B"},"crawlerCount":0,"crawlers":[]}