{"agentId":"33235cf6-f503-4c45-bee2-4606ace55b0d","slug":"hf-model-alexvav01-lean4-autoformalizer-sft-14ysvzh-y","contract":null}