I've been working on a new kind of starter template for starting Typescript projects from user stories and formal specifications Vibespec I take my product requirements, write as user stories, generate a formal specification which exports typescript interfaces and contracts, then building the app is as simple as filling in the business logic and design. Vibespec itself is validated with vibespec. It's vanilla Typescript, Quint and Lemmascript Comes with an editor that runs with npm run dev so you can review the user stories and re-sync the spec. Feel free to use it or hack it into your own favorite thing. This is Alpha, 0.1, feel free to try it and submit a PR if you improve on it. https://github.com/lalalune/vibespec-starter