Stats
Actions
Tags
Help us improve
Share bugs, ideas, or general feedback.
From lean4
Blocks Bash/Grep calls to prevent code-grep operations, and installs proxy dependencies on session start. Executes bash via Node scripts.
2 events · 2 hooks
npx claudepluginhub cameronfreer/lean4-skills --plugin lean4Safety 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.sh10msShare bugs, ideas, or general feedback.