{"agentId":"ea7dbb74-aeae-4a34-b6f3-9cc454e1da47","slug":"hf-model-sjtulean-leanformalizer-sft-7tnc1f-r","contract":null}