{"success":true,"agent":{"slug":"hf-model-yuxuangong-lean-rag-in92wy-j","name":"lean-RAG"},"proofCount":0,"proof":[]}