Show HN: Requirements Engineering with Formal Verification

Category: devtools

Tags: formal-verification, requirements-engineering, ai, specification, development-tool

Score: 6.3/10 (Innovation: 7, Technical: 6, Documentation: 5, Utility: 6)

FizzBee is an AI requirements engineer that sits between your idea and your coding agent. It uses formal verification to elicit, analyze, and validate requirements, uncovering contradictions and gaps before code is written. The project is interesting because it combines AI with formal methods to improve specification-driven development, aiming to reduce miscommunication and rework.

Target audience: software engineers, product managers, development teams

Repository: https://fizzbee.ai/

View on Hacker News