FizzBee – Formal methods in Python

In plain words

FizzBee is a formal methods model checker that runs in Python, allowing developers to validate software designs for bugs before implementation. It targets software engineers who want to verify systems like replication algorithms and protocols without learning complex formal methods languages. The tool stands out by making formal verification accessible through familiar Python syntax, with an online playground for testing.

written from the facts on this page · September 2026

From the sources

Designing a distributed system? FizzBee makes it easy to model, visualize, and validate your design—catching flaws before you code. The easiest-ever formal methods, built for developers.

In the maker’s words, at launch

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…

• 
  Requirements Engineering with Formal VerificationJul 2026 · fizzbee.ai · ▲27

  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…

• 
  FizzBuzz purely in Rust's trait system2020 · github.com · ▲120

  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this??? - cofibrant/trait-eval

• 
  PBT – A property-based testing library for Ruby2024 · github.com · ▲196

  Hello HN, I introduce a property-based testing tool for Ruby. Ruby's ease of test-writing and rich ecosystem are widely acclaimed. However, property-based testing is not as widely used as in other languages such as Haskell or Elixir, and I think this is because there is no de facto testing tool. This gem currently not only has the basic functionality of stateless property-based testing but also has the following features: - Support verbose mode that allows you to see its shrinking procedure and algorithms. - Support several concurrency/parallel executions of each test. As of now,…

• 
  Fructose – LLM calls as strongly typed functions2024 · github.com · ▲218

  Hi HN! Erik here from Banana (formerly the serverless GPU platform), excited to show you what we’ve been working on next: Fructose Fructose is a python package to call LLMs as strongly typed functions. It uses function type signatures to guide the generation and guarantee a correctly typed output, in whatever basic/complex python datatype requested. By guaranteeing output structure, we believe this will enable more complex applications to be built, interweaving code with LLMs with code. For now, we’ve shipped Fructose as a client-only library simply calling gpt-4 (by default) with json…

• 
  Formally Verified Leaderless Log Protocol for KafkaApr 2026 · github.com · ▲5

  We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine. Verification across ~200K states caught a design bug that years of production missed. We then handed the spec to Claude Code — it produced a working Rust implementation (concurrent producers, compaction, fencing) without back-and-forth. We think verified specs are the best harness for coding agents: open-source the spec, let anyone implement it.

• 
  Formalizing Principia Mathematica using Lean2025 · github.com · ▲188

  This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…

• 
  /dev/null▲482

  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▲343

  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 · 28d ago · corespeed.io

• 
  Supabase▲2,325

  The Postgres developer platform is now generally available

  Dev tools · 2024 · supabase.com

• 
  Cal.com Platform▲1,601

  Build your pixel-perfect booking experience with Atoms

  Dev tools · 2024 · cal.com

• 
  PaddleBoat▲1,162

  Perfect your sales pitch with realistic AI roleplays

  AI · 2024 · padboat.com

• 
  deco.cx 2.0▲1,078

  Build web apps 10x faster with Deno, JSX, TS & Tailwind

  Dev tools · 2024 · decocms.com

• 
  IXORD AI▲955

  Navigate tasks, ignite creativity

  AI · 2024

• 
  Assista AI▲949

  A central nervous system for all your productivity apps

  AI · 2024 · getassista.com