{"skill":{"slug":"lean4-proof-lean4-theorem-proving","displayName":"lean4-theorem-proving","summary":"Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing \"failed to synthesize instance\" errors, managing sorry/axiom elimination, or...","tags":{"latest":"0.1.0"},"stats":{"comments":0,"downloads":68,"installsAllTime":0,"installsCurrent":0,"stars":0,"versions":1},"createdAt":1776286102305,"updatedAt":1776286310208},"latestVersion":{"version":"0.1.0","createdAt":1776286102305,"changelog":"Bulk publish from all-task-skills-dedup","license":"MIT-0"},"metadata":null,"owner":{"handle":"wu-uk","userId":"s170bfqwae6mtf922jhz299q7s83jb0h","displayName":"wu-uk","image":"https://avatars.githubusercontent.com/u/199610473?v=4"},"moderation":{"isSuspicious":true,"isMalwareBlocked":false,"verdict":"suspicious","reasonCodes":["suspicious.llm_suspicious"],"summary":"Detected: suspicious.llm_suspicious","engineVersion":"v2.4.0","updatedAt":1776286310208}}