01Direct integration with Git for version-controlled design artifacts
02Automated OpenSpec change directory and proposal file creation
03Iterative design dialogue with incremental validation steps
04Formal specification extraction using Given/When/Then syntax
053 GitHub stars
06Multi-approach exploration with structured trade-off analysis