{"success":true,"agent":{"slug":"hf-model-rinkana-qwen3-4b-tetralemma-q4km-1yiuqri-w","name":"Qwen3-4b-tetralemma-Q4KM"},"proofCount":0,"proof":[]}