{"slug": "show-hn-requirements-engineering-with-formal-verification", "title": "Show HN: Requirements Engineering with Formal Verification", "summary": "Fizzbee launched a new open-source app that uses formal verification for requirements engineering, generating precise specifications for coding agents. The tool identifies gaps in requirements and produces validation scenarios, reducing iterations needed for working code.", "body_md": "I've been building an open source formal methods system (fizzbee.io) for the past few years.\n\nToday 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.\n\nWhen given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario\n\nAt 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.\n\nPlease give it a try and share your feedback.\n[https://fizzbee.ai/](https://fizzbee.ai/)\n\nYou can also look at a sample project.\n[https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...](https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848bba11/view)\n\nComments URL: [https://news.ycombinator.com/item?id=48835012](https://news.ycombinator.com/item?id=48835012)\n\nPoints: 6\n\n# Comments: 0", "url": "https://wpnews.pro/news/show-hn-requirements-engineering-with-formal-verification", "canonical_source": "https://fizzbee.ai/", "published_at": "2026-07-08 17:52:57+00:00", "updated_at": "2026-07-08 18:12:21.846362+00:00", "lang": "en", "topics": ["ai-tools", "developer-tools", "ai-products"], "entities": ["Fizzbee"], "alternates": {"html": "https://wpnews.pro/news/show-hn-requirements-engineering-with-formal-verification", "markdown": "https://wpnews.pro/news/show-hn-requirements-engineering-with-formal-verification.md", "text": "https://wpnews.pro/news/show-hn-requirements-engineering-with-formal-verification.txt", "jsonld": "https://wpnews.pro/news/show-hn-requirements-engineering-with-formal-verification.jsonld"}}