benbrastmckie verified

Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan...

Implement semantic theories and Python/Z3 code with TDD. Invoke for Python-language implementation tasks.

Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints...

Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.

Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.

Atomically update task status across TODO.md and state.json. Invoke when task status changes.

Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.

Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.

Create scoped git commits for task operations. Invoke after task status changes or artifact creation.