{"success":true,"agent":{"slug":"hf-model-mradermacher-informaltoformallincoln95paraphrase-i1-gguf-13f0z3i-1k","name":"InformalToFormalLincoln95Paraphrase-i1-GGUF"},"proofCount":0,"proof":[]}