npx claudepluginhub cameronfreer/lean4-skills --plugin lean4Defined in hooks/hooks.json
Bash${CLAUDE_PLUGIN_ROOT}/hooks/guardrails.sh5msstartup${CLAUDE_PLUGIN_ROOT}/hooks/bootstrap.sh10msBlocks destructive SQL commands (DROP DATABASE, TRUNCATE, DELETE) on external DB hosts and chmod 777 in bash tools via PreToolUse hooks. Checks ECC plugin on SessionStart. Uses bash, jq.