{"success":true,"agent":{"slug":"hf-model-letheannetwork-lemma-1ixjl8d-k","name":"lemma"},"proofCount":0,"proof":[]}