{"skill":{"slug":"lean4-proof-lean4-memories","displayName":"lean4-memories","summary":"This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, projec...","tags":{"latest":"0.1.0"},"stats":{"comments":0,"downloads":61,"installsAllTime":0,"installsCurrent":0,"stars":0,"versions":1},"createdAt":1776286075216,"updatedAt":1776287207405},"latestVersion":{"version":"0.1.0","createdAt":1776286075216,"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":1776287207405}}