Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add skills/fizzbee-io/fizzbee/fizz-mbtnpx skills add fizzbee-io/fizzbee --skill fizz-mbtgit clone --depth 1 https://github.com/fizzbee-io/fizzbeeWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/fizzbee-io/fizzbee/fizz-mbt)<a href="https://agentmods.dev/skills/fizzbee-io/fizzbee/fizz-mbt"><img src="https://agentmods.dev/badge/skills/fizzbee-io/fizzbee/fizz-mbt.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00077 | $0.02473 |
| Opus 5 | $0.00039 | $0.01236 |
| Sonnet 5 | $0.00015 | $0.00495 |
| Haiku 4.5 | $0.00008 | $0.00247 |
Grade A, and why
fizz-mbt scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 296 lines — stays where its author put it; the contents beside it link to each section on GitHub.
FizzBee Model-Based Testing (MBT)
FizzBee MBT generates exhaustive test sequences from a verified Fizz spec and runs them against the real system under test (SUT).
Examples: https://github.com/fizzbee-io/fizzbee-mbt-examples
Installation
# fizzbee (model checker)
brew tap fizzbee-io/fizzbee && brew install fizzbee
# fizzbee-mbt (test runner + server)
brew tap fizzbee-io/fizzbee-mbt && brew install fizzbee-mbt
Language Support Overview
| Feature | TypeScript | Go | Rust | Java |
|---|---|---|---|---|
| Sequential testing | ✓ | ✓ | ✓ | ✓ |
| Concurrent testing | ✓ (cooperative) | ✓ | ✓ | ✓ |
| StateGetter | ✓ | ✓ | ✓ | ✓ |
| SnapshotStateGetter | ✓ | ✓ | ✓ | ✓ |
| Sentinel values (IGNORE) | ✓ | ✓ | ✓ | ✓ |
| AfterActionHook | ✓ | — | — | — |
| OverridesProvider (fuzzing) | ✓ | — | — | — |
| Playwright utilities | ✓ | — | — | — |
TypeScript and Go have the broadest feature support. TypeScript is the primary language for UI/E2E testing.
Workflow
- Write and verify the
.fizzspec:fizz spec.fizz→ PASSED - Scaffold:
fizz mbt-scaffold --lang <lang> --gen-adapter --out-dir <dir> spec.fizz - Implement the adapter methods
- Start the MBT server:
fizzbee-mbt-server --states_file out/run_<timestamp>/ - Run tests
Scaffold Commands
# TypeScript
fizz mbt-scaffold --lang typescript --gen-adapter --out-dir src/fizztests/ spec.fizz
# Go
fizz mbt-scaffold --lang go --go-package myapp --gen-adapter --out-dir fizztests/ spec.fizz
# Rust
fizz mbt-scaffold --lang rust --gen-adapter --out-dir src/fizztests/ spec.fizz
# Java
fizz mbt-scaffold --lang java --java-package org.example.myapp --gen-adapter --out-dir fizztests/ spec.fizz
Three files are generated per spec:
| File | Description | Edit? |
|---|---|---|
*_interfaces.ts/go/rs/java |
Role + model interfaces from spec | No |
*_adapters.ts/go/rs/java |
Stub methods to implement | Yes |
*_test.ts/go/rs/java |
Test runner wiring | No |
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 5d ago First seen · 296 lines · 77 tokens per session scan A f7f01d586a62
fizz-mbt is a skill published in the GitHub repository fizzbee-io/fizzbee (347 stars, last pushed 10d ago), licensed Apache-2.0. It adds 77 tokens to every session and 2,473 once invoked, about $0.0004 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other skills, from other repositories
allium
Give your AI agents something more useful than a prompt. Velocity through clarity.
test-generator
Generate comprehensive test suites including static analysis, unit tests, integration tests, E2E tests, and coverage reports. Triggers: TG, test, 測試, 寫測試, coverage, 覆蓋率, pytest, unittest, 驗證.
tla-check
Write and iteratively refine executable TLA+ specs (.tla) and TLC model configs (.cfg) from natural-language system designs; run TLC model checking; summarize pass/fail and counterexamples with explicit assumptions and bounds. Use when asked to design or validate a protocol/state machine, create or edit .tla/.cfg…
tla-proof
Write and iteratively refine TLA+ theorem proofs in .tla modules with TLAPS (tlapm); run proof checks and summarize proved vs failed/omitted obligations with explicit assumptions and trust boundaries. Use when asked to create or fix THEOREM or PROOF blocks, diagnose TLAPS failures, strengthen inductive invariants…
use-agent-browser-for-airi
Test AIRI display-model imports with agent-browser across stage-tamagotchi Electron, stage-web, and stage-pocket mobile web layouts. Use when uploading and verifying contributor-supplied Live2D ZIP, VRM, or MMD ZIP/PMX/PMD files through AIRI's model selector, including onboarding bypass, format-specific import…
run-integration-tests
Build, pack, and run .NET MAUI integration tests locally. Validates templates, samples, and end-to-end scenarios using the local workload.