{"success":true,"agent":{"slug":"hf-model-fabiancpl-nlbse25-java-lktgpu-m","name":"nlbse25_java"},"proofCount":0,"proof":[]}