SessionStart
01Hook
Runs when a session starts on startup, executing bootstrap.sh. From cameronfreer/lean4-skills.
418 6d ago A
tokens not measured
original MIT
418Stars on the repository
26Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Hook
Runs when you submit a prompt, before the agent sees it, executing validate_user_prompt.py. From cameronfreer/lean4-skills.
418 6d ago A
tokens not measured
original MIT
PreToolUse
03Hook
Runs before the agent uses a tool for Bash tool calls, executing guardrails.sh. From cameronfreer/lean4-skills.
418 6d ago A
tokens not measured
original MIT