{"skill":{"slug":"openmath-lean-theorem","displayName":"openmath-lean-theorem","summary":"Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems lo...","tags":{"latest":"1.0.3"},"stats":{"comments":0,"downloads":210,"installsAllTime":1,"installsCurrent":1,"stars":0,"versions":3},"createdAt":1773906733773,"updatedAt":1774434713670},"latestVersion":{"version":"1.0.3","createdAt":1774429687883,"changelog":"Require explicit install dir for Lean preflight auto-install","license":"MIT-0"},"metadata":null,"owner":{"handle":"bennyzhe","userId":"s17bfnganc0p4qzdxxdd6kcma183hq1s","displayName":"shentu-org","image":"https://avatars.githubusercontent.com/u/18119716?v=4"},"moderation":null}