
Pbt Workflow Guide
- Updated January 26, 2026
- f4ah6o/skills-bonsai
pbt-workflow-guide is the root workflow for introducing, updating, maintaining, and improving property-based testing in MoonBit repositories with moonbitlang/quickcheck. A MoonBit developer uses it to build and grow robust PBT coverage.
Key points
- Property-based testing for MoonBit
- Uses moonbitlang/quickcheck
- Introduce, update, maintain PBT
Pbt Workflow Guide by the numbers
- Data as of Jul 7, 2026 (Skillselion catalog sync)
/plugin marketplace add f4ah6o/skills-bonsai/plugin install pbt-workflow-guide@skills-bonsaiAdd your badge
Show developers this skill is listed on Skillselion. Paste this into your README.
| Last updated | January 26, 2026 |
|---|---|
| Repository | f4ah6o/skills-bonsai ↗ |
What it does
Introduce, update, and maintain property-based testing in MoonBit repos using moonbitlang/quickcheck.
README.md
Skills BONSAI
A curation repository of skills
Acknowledgement
- skill-check-skill by 電電猫猫
- MIT License
Maintenance
This repository includes a script to check if 3rd-party skills are up-to-date with their upstream repositories.
How it works
The script reads .claude-plugin/marketplace.json and checks plugins that have the x-installed-sha field defined. It compares the locally tracked commit SHA (x-installed-sha) with the latest commit on the upstream repository (derived from author.url).
Usage
Local Check:
Prerequisites: jq and gh (GitHub CLI) must be installed.
./scripts/check_updates.sh
GitHub Actions:
The check runs automatically every Monday via a GitHub Action workflow defined in .github/workflows/check_updates.yml. You can also trigger it manually from the "Actions" tab.
Adding a new tracked skill
To track a new skill, ensure the author.url points to the GitHub repository and add tracking fields to its entry in .claude-plugin/marketplace.json:
{
"name": "your-skill",
"author": {
"name": "author-name",
"url": "https://github.com/owner/repo"
},
...
"x-installed-sha": "CURRENT_SHA_HASH",
"x-installed-date": "YYYY-MM-DDTHH:MM:SSZ"
}