Stats
Actions
Tags
From lean4
Blocks Bash tool calls via a guard script and catalogs session metadata on start. Executes bash commands for security policy enforcement.
2 events · 2 hooks
Safety signals detected in this hook configuration
Where this hook configuration is defined
Defined in hooks/hooks.json
Event handlers and matchers — expand Raw Configuration for the full JSON
Bash${CLAUDE_PLUGIN_ROOT}/hooks/guardrails.sh5msstartup${CLAUDE_PLUGIN_ROOT}/hooks/bootstrap.sh10msnpx claudepluginhub cameronfreer/lean4-skills --plugin lean4