🎁 Get the FREE AI Skills Starter Guide β€” Subscribe β†’
BytesAgainBytesAgain
πŸ¦€ ClawHub

The Formal Gatekeeper: Z3-Verified Safety for Autonomous Agent Plans

by @mirni

The Formal Gatekeeper: Z3-Verified Safety for Autonomous Agent Plans. Build a formal verification proxy for OpenClaw agents: Z3 SMT solver integration, safet...

Versionv1.3.1
Downloads409
TERMINAL
clawhub install greenhelix-formal-gatekeeper