Show HN: Specification First Agentic Development Plugin and Prove

Implemented agent smith since start 2026 with over 1000 specifications which lead to about 500k lines of code. The procedure with that spec-first works well. How do you do it?