Show HN: Specification First Agentic Development Plugin and Prove

Spec-first agentic development is a specification-driven approach for AI coding agents that uses reviewed specs, isolated worktrees, and gated commits.