This repository was archived by the owner on Sep 23, 2026. It is now read-only.

Repository navigation

examples: add HOL Guard PreToolUse gate - #2648

Open

kantorcodes wants to merge 7 commits into

MoonshotAI:mainfrom

kantorcodes:feat/hol-guard-pretool-example

Commits on Sep 16, 2026
- examples: add HOL Guard PreToolUse gate
  kantorcodes
  committed
  9122f01
- test: keep HOL Guard example coverage focused
  kantorcodes
  committed
  2257674
- fix: align HOL Guard example with current verdict contract
  kantorcodes
  committed
  abf0f44
- test: use current HOL Guard classification contract
  kantorcodes
  committed
  a96ec1f
- test: keep HOL Guard example contribution focused
  kantorcodes
  committed
  170e5f4
- refactor: keep HOL Guard hook example compact
  kantorcodes
  committed
  1d3a15d
- fix: make HOL Guard hook executable
  kantorcodes
  committed
  e1dc885