# FizzBee ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Created**:: [[2026-06-08]] **Topic**:: [[♯ Formal Method]] **URL**:: [fizzbee.io](https://fizzbee.io/) **Via**:: [[♯ Kleppmann - Designing data-intensive applications]] ## Synopsis ==Ergonomics and distributed-system usability== - Python-like syntax - Diagrams generation - Built-in distributed system fault modeling - Test framework [MBT](https://github.com/fizzbee-io/fizzbee/blob/main/.claude/skills/fizz-mbt/SKILL.md) similar to [[Quint]]. It supports TypeScript, Go, ==Rust==, and Java.