Show HN: Specification First Agentic Development Plugin and Prove

spec-first 提供规范优先的 AI 智能体开发插件，每项变更先审查规范，再在独立分支和 worktree 中实现，通过项目检查后才能提交。流程涵盖 create-spec、review-spec、apply-spec 和 deliver-spec，并将决策记录与恢复状态保存在文件中，支持将一系列规范并行构建后合入一个 pull request。