What problem does it solve?
This Skill provides a disciplined, end-to-end pipeline for implementing new software features with test-driven development, automated verification, and formal code review, removing ad hoc approaches that lead to unstable or unreviewed changes.
Core Features & Use Cases
- Structured Planning & Spec: Runs brainstorming and plan-writing subroutines to produce a committed spec and implementation plan.
- TDD-First Implementation: Produces falsifiable prove statements, writes failing tests, and drives implementation via dispatched subagents that commit to a feature branch.
- Verification, Simplification, and PR Flow: Runs code simplification, records prove_it evidence, performs formal code review, and creates a draft GitHub pull request, then iterates on review feedback until approvals are obtained.
Quick Start
Invoke the pipeline by telling the agent to run the feature command with your description, for example: /feature add password reset flow with 1-hour expiry tokens