Skip to content

feat(miner): add PreToolUse-style deny-hook primitives#2700

Merged
JSONbored merged 1 commit into
JSONbored:mainfrom
dhgoal:feat/miner-deny-hook-primitives
Jul 3, 2026
Merged

feat(miner): add PreToolUse-style deny-hook primitives#2700
JSONbored merged 1 commit into
JSONbored:mainfrom
dhgoal:feat/miner-deny-hook-primitives

Commits

Commits on Jul 3, 2026