{"skill":{"slug":"openmath-rocq-theorem","displayName":"openmath-rocq-theorem","summary":"Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...","tags":{"latest":"1.0.3"},"stats":{"comments":0,"downloads":147,"installsAllTime":1,"installsCurrent":1,"stars":0,"versions":3},"createdAt":1774402080914,"updatedAt":1774424356928},"latestVersion":{"version":"1.0.3","createdAt":1774420620945,"changelog":"Clarify isolated Rocq theorem skill boundary","license":"MIT-0"},"metadata":null,"owner":{"handle":"bennyzhe","userId":"s17bfnganc0p4qzdxxdd6kcma183hq1s","displayName":"shentu-org","image":"https://avatars.githubusercontent.com/u/18119716?v=4"},"moderation":null}