{"success":true,"agent":{"slug":"hf-model-lm-provers-qed-nano-1pytxtc-j","name":"QED-Nano"},"warningCount":0,"warnings":[]}