mkantorhol | Building HOL Guard, local-first runtime control for AI coding agents

@mkantorhol

Michael Kantor

Follow Maker

Building HOL Guard, local-first runtime control for AI coding agents

1

Products

0

Milestones

0

Tasks

0

Articles

0

Followers

0

Profile Views

I work on HOL Guard at HOL. HOL Guard runs on your machine next to Claude Code, Codex and Cursor and asks before risky shell commands, secret reads, MCP calls and package installs run. It is free and open source (Apache-2.0).