Kanban Board

Total Work Packages
3
0 planned
In Progress
0
Review
0
Approved
3
Completed
0
0% done
Active Agents
0
none
📋 Planned0
No tasks
🚀 Doing0
No tasks
👀 For Review0
No tasks
👍 Approved3
WP01
WP01-brief-chokepoint-overwrite-primitive
python-pedroimplementer6 subtasks
WP02
WP02-research-prove-or-preserve
python-pedroimplementer5 subtasks
WP03
WP03-init-prover-manager-backup
python-pedroimplementer5 subtasks
✅ Done0
No tasks