frenzymath/Archon

AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

212Stars on the repository
21Mods indexed here, across every type
15d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

SessionStart

01

frenzymath/Archon

Hook

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

PreToolUse

02

frenzymath/Archon

Hook

Runs before the agent uses a tool for Bash tool calls, executing guardrails.sh. From frenzymath/Archon.

212 15d ago A tokens not measured copy · 100% Apache-2.0

PostToolUse

03

frenzymath/Archon

Hook

Runs after a tool call finishes for Edit and Write tool calls, executing snapshot.py via python3. From frenzymath/Archon.

212 15d ago A tokens not measured original Apache-2.0