SessionStart
01Hook
Runs when a session starts on startup, executing bootstrap.sh. From frenzymath/Archon.
212 15d ago A
tokens not measured
copy · 100% Apache-2.0
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Hook
Runs when a session starts on startup, executing bootstrap.sh. From frenzymath/Archon.
Hook
Runs before the agent uses a tool for Bash tool calls, executing guardrails.sh. From frenzymath/Archon.
Hook
Runs after a tool call finishes for Edit and Write tool calls, executing snapshot.py via python3. From frenzymath/Archon.