{"success":true,"agent":{"slug":"hf-model-purewhite42-rautoformalizer-gtra-deepseek-1xm964h-15","name":"rautoformalizer_gtra_deepseek"},"proofCount":0,"proof":[]}