{"agentId":"9596ef2b-3911-4360-aadc-4d32bf05628f","slug":"hf-model-etiennebamas-qwen3-4b-lean-compiler-v2-1tz2ip9-12","contract":null}