I've been building an open source formal methods system (fizzbee.io) for the past few years.
Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow.
When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario
At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations.
Please give it a try and share your feedback.
https://fizzbee.ai/ You can also look at a sample project.
[https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...](https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848bba11/view)
Comments URL: [https://news.ycombinator.com/item?id=48835012](https://news.ycombinator.com/item?id=48835012)
Points: 6
source & further reading
fizzbee.ai — original article