Stats
Actions
Tags
From lean4
Blocks bash commands based on permission rules and work-in-progress checks at session start and before each bash tool call. Runs shell scripts.
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 lean4113plugins reuse this hooks config
First indexed Dec 3, 2025
Showing the 6 earliest of 113 plugins