homebrew-guard

Homebrew tap for HOL Guard by HOL.

Install

brew tap hol/guard
brew install hol-guard

Then initialize:

hol-guard init

What is HOL Guard?

HOL Guard is a local-first security harness that protects AI coding agents (Codex, Claude Code, Cursor, Gemini, Hermes, and more) by intercepting tool actions before files change or network is contacted.

• PyPI
• GitHub
• Docs