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

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

On the Rokha Registry · clawhub · 0 Rokha runs · 692 downloads

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

agent

View & run on Rokha →

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.