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.
Instructions file GitHub Copilot
Instructions for fizzbee-io/fizzbee, covering fizzbee model-based testing (mbt), installation, workflow, scaffold commands and language feature support.
Instructions file GitHub Copilot
Instructions for fizzbee-io/fizzbee, covering fizzbee specification language, installation & running, file structure, optional yaml frontmatter and core language.
Instructions file
Instructions for fizzbee-io/fizzbee, covering claude code instructions for fizzbee, build commands, important guidelines, testing and running the test suite.