{"success":true,"agent":{"slug":"hf-model-visproj-proofkit-qwen0-5b-7k-1wkfskt-s","name":"proofkit-qwen0.5b-7k"},"proofCount":0,"proof":[]}