我一直在开发一种新型的 TypeScript 项目启动模板，用于从用户故事和正式规范开始构建项目。 Vibespec 我首先将产品需求编写成用户故事，然后生成一份正式规范，其中包含导出的 TypeScript 接口和契约。之后，构建应用程序就变得非常简单，只需填充业务逻辑和设计即可。 Vibespec 本身也通过 vibespec 进行验证。 它使用原生 TypeScript、Quint 和 Lemmascript。 它自带一个编辑器，可以通过 `npm run dev` 运行，方便您查看用户故事并重新同步规范。 您可以随意使用它，或者根据自己的喜好进行修改。 这是 Alpha 版本，0.1，欢迎试用，如果您有任何改进，请提交 PR。 https://(github.com)/lalalune/vibespec-starter