Show HN: Specification First Agentic Development Plugin and Prove

12 points · 1 visible top comment · 2026-10-27 15:12:20 UTC

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?

Comments

cassianoleal · 2026-10-27 17:07:22 UTC

If your specs are not executable or are editable by the agent, they are as non-deterministic as any code that comes out of them.