Michael Kantor

HOL Guard

Michael Kantor (1 project)

HOL Guard checks AI agent actions before they execute. Developers can run it locally without an account and connect it through supported agent hooks and managed MCP proxies. It reviews shell comman...