Agent
Dispatches isolated subagents to worktree branches for independent parallel tasks. Use when 3+ tasks can work independently without shared state.
215 8d ago A 31 tokens
original Apache-2.0
215Stars on the repository
14Mods indexed here, across every type
8d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Agent
Before doing ANY codebase search, navigation, or analysis, you MUST use LeanKG tools.
215 8d ago A 0 tokens
original Apache-2.0