Show HN: Requirements Engineering with Formal Verification(fizzbee.ai)
fizzbee.ai
Show HN: Requirements Engineering with Formal Verification
https://fizzbee.ai/
6 comments
The questions shown in the Elicitation phase are useful in identifying edge cases and overall a pretty useful tool. It would be great to see an option to directly export the finalized specification to standard formats like Markdown or Jira tickets directly from the final 'Project complete' screen.
Very nice! :-)
looks great!
very cool!
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...