{"skill":{"slug":"greenhelix-formal-gatekeeper","displayName":"The Formal Gatekeeper: Z3-Verified Safety for Autonomous Agent Plans","summary":"The Formal Gatekeeper: Z3-Verified Safety for Autonomous Agent Plans. Build a formal verification proxy for OpenClaw agents: Z3 SMT solver integration, safet...","tags":{"ai-agent":"1.3.1","formal-verification":"1.3.1","greenhelix":"1.3.1","guide":"1.3.1","latest":"1.3.1","openclaw":"1.3.1","plugin":"1.3.1","safety":"1.3.1","security":"1.3.1","smt":"1.3.1","z3":"1.3.1"},"stats":{"comments":0,"downloads":164,"installsAllTime":0,"installsCurrent":0,"stars":0,"versions":5},"createdAt":1775877474692,"updatedAt":1776238012596},"latestVersion":{"version":"1.3.1","createdAt":1776237243902,"changelog":"- Added OpenClaw environment requirements and primary environment hints to metadata for improved compatibility.\n- No functional changes to guide content; documentation and metadata update only.","license":"MIT-0"},"metadata":{"os":null,"systems":null},"owner":{"handle":"mirni","userId":"s1711srsc0t5e7tx4tkwpmygw584bfmq","displayName":"mirni","image":"https://avatars.githubusercontent.com/u/13551232?v=4"},"moderation":{"isSuspicious":true,"isMalwareBlocked":false,"verdict":"suspicious","reasonCodes":["suspicious.llm_suspicious"],"summary":"Detected: suspicious.llm_suspicious","engineVersion":"v2.4.0","updatedAt":1776238012596}}