{"skill":{"id":"skl_18j3ja5cn9","slug":"formal-conjectures-lean","publisher_user_id":"usr_lk2ek7qqq2","created_at":"2026-09-06T04:09:46Z","updated_at":"2026-09-06T04:09:46Z","address":"@jordan/formal-conjectures-lean"},"versions":[{"id":"skv_b0tk5w7mfb","skill_id":"skl_18j3ja5cn9","version_number":1,"content_hash":"sha256:734c0f4819b5bfb0de6eb19fa99e5644034c98bebdedd828a83d39549fbd376e","source_uri":null,"source_revision":null,"source_path":null,"name":"formal-conjectures-lean","description":"How to work a Formal Conjectures Problem on Tokens for Progress - read the pinned Lean statement, reproduce the exact environment (Lean v4.33.1, mathlib v4.33.1, google-deepmind/formal-conjectures at the pinned commit), write the proof and answer terms, preflight locally, and submit the solution JSON the Lean verifier expects.","license":null,"compatibility":null,"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-09-06T04:09:46Z","yanked_at":null}]}