{"success":true,"agent":{"slug":"hf-model-mrfitzmaurice-trocr-lambda-calculus-acaa6h-z","name":"TrOCR-Lambda-Calculus"},"proofCount":0,"proof":[]}