{"agentId":"00119ded-c385-496c-86b3-bdbc689490af","slug":"hf-model-formalmathatepfl-qwen3-sft-feedback-with-proof-repair-rl-1bajkce-1k","contract":null}