Wraps Claude Code with a verification-driven development harness that manages planning, execution, and synchronization, enforcing quality gates plus model and effort routing from a single Go binary.