Requirements Engineering with Formal Verification

In plain words

This app performs requirements engineering using formal verification to identify gaps and ambiguities in software specifications. Built on an open source formal methods system, it asks clarifying questions, converts requirements into formal specifications, detects complex gaps, and generates validation scenarios. The result is a precise specification document that can be shared with coding agents to produce working code with fewer iterations.

written from the facts on this page · September 2026

From the sources

Every prompt leaves decisions unmade — and your agent will make them silently. FizzBee asks the questions your prompt didn

FizzBee uses formal verification to systematically uncover contradictions and requirement gaps before any code is written. Every prompt leaves decisions unmade — and your agent will make them silently. You ship a working app; not the one you wanted. FizzBee helps you decide before that happens. Terminate a manager — who takes their team, and their pending leaves? Delete a wiki note — what happens to notes that linked to it? Remove someone from a shared expense when their balance isn't zero? FizzBee found these — before code was written. No 30-page PRD to review. You answer the questions; your agent reads the specification; you get the code. Every question FizzBee asked. Every requirement…from fizzbee.ai

In the maker’s words, at launch

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…

• 
  FizzBee – Formal methods in Python2024 · fizzbee.io · ▲119

  GitHub: https://www.github.com/fizzbee-io/FizzBee Traditionally, formal methods are used only for highly mission critical systems to validate the software will work as expected before it's built. Recently, every major cloud vendor like AWS, Azure, Mongo DB, confluent, elastic and so on use formal methods to validate their design like the replication algorithm or various protocols doesn't have a design bug. I used TLA+ for billing and usage based metering applications. However, the current formal methods solutions like TLA+, Alloy or P and so on are incredibly complex to…

• 
  Requirements AI2025 · requirementsai.com · ▲183

  From meeting transcript to product requirements in seconds.

• UF
  Using formal methods to write better requirements2022 · mango-slra1-ckwssph7iq-ue.a.run.app · ▲6
• 
  Requirements Engineering Fundamentals2016 · amazon.com · ▲63

  How to write kick-a** specifications.

• 
  Python requirements for Humans2016 · github.com · ▲78

  Python requirements made easy. Contribute to toxinu/requirements development by creating an account on GitHub.

• OS
  Open-source model routing for coding agents at Astra-level performance21d ago · ▲122

• 
  /dev/null▲472

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲340

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 27d ago · corespeed.io

• IR
  I replaced a $120k bowling center system with $1,600 in ESP32s▲2,935

  I might be the only SRE on Earth with his own bowling center. It's a more in-depth gig than you'd think. My family and I bought an abandoned 8-lane bowling center in the rural mid-west. In our small town there weren't many recreation options for families. You've heard of a food desert? This is an R&R desert. It had been abandoned for a good reason. The roof leaks, the electrical system was constantly surging, and my 70-year-old bowling equipment (still) doesn't work perfectly. The system that keeps your score is particularly interesting to me. It's the thing you watch during your game, but…

  Life & fun · Jul 2026

• 
  Elevators▲1,680

  How elevators push your buttons

  Life & fun · Jul 2026 · john.fun

• 
  18 Words▲1,160

  Play 18 Words, the free daily word puzzle. The official home is 18words.com. Tap Play now to open today

  Life & fun · Jul 2026 · 18words.com

• BA
  Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)▲1,033

  Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness. To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There's no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn't need to fetch anything once you got it. Open it in a browser and then you can…

  Dev tools · Jul 2026 · bento.page

• 
  Getting GLM 5.2 running on my slow computer▲937

  A few days ago I found myself trying out GLM 5.2 and was really positively impressed. The capabilities and security I was getting from this LLM are similar to those I've gotten from models like Claude or GPT, and this really surprised me. But then I thought, "I wonder how it would work on a normal computer like mine," and above all, "I wonder if it would work without going into OOM on a computer like mine." So I started working with the help of agents to test this possibility. I started converting the model to int4, understanding MTP usage, and if possible implementing DSA for long context.…

  AI · Jul 2026 · github.com

• 
  OpenSEO▲928

  Hello! For the last 2 months, I've been building OpenSEO. It's a user friendly UI wrapping the DataForSEO API which has high quality SEO data for keywords, backlinks, AI SEO and competitor research. Instead of paying $100+ per month, you buy DataForSEO credits and pay only for usage. The coolest thing about the project so far has been hearing about what people are building on top of it. People are using coding agents to quickly integrate with Google Search Console, Google Ads and building their own AI SEO and reporting features. Many were already building their own custom solutions around…

  Dev tools · Jul 2026 · openseo.so