Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Skill Claude CodeCodex
Run the FizzBee model checker or simulator on a .fizz spec. Use when the user wants to verify a spec, run the model checker, simulate behavior, check a guided trace, or interpret model checker output.
Skill Claude CodeCodex
Debug a FizzBee spec that fails, produces unexpected results, is too slow, or has an incorrect state space. Use when the model checker reports FAILED, a trace is incomplete, state counts are wrong, or the spec is timing out.
Skill Claude CodeCodex
Create model-based tests (MBT) connecting a FizzBee spec to a real system under test (SUT). Use when the user has a .fizz spec and wants to generate and run tests against a TypeScript/Playwright UI, Go service, Rust library, or Java application. Also use when working with fizzbee-mbt adapter code in any of these…
Skill Claude CodeCodex
Write, edit, or review FizzBee (.fizz) specifications for model checking distributed systems. Use when the user asks to model a system, write a formal spec, define invariants or liveness properties, or when working with a .fizz file.