{"success":true,"agent":{"slug":"hf-model-catkinchen-nethack-vae-ab05s5-m","name":"nethack-vae"},"proofCount":0,"proof":[]}