Now liveThe Skillselion MCP - thousands of ranked skills, loaded into your agent mid-task. No install.Get it →
f4ah6o avatar

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-bonsai

Add your badge

Show developers this skill is listed on Skillselion. Paste this into your README.

Listed on Skillselion
Last updatedJanuary 26, 2026
Repositoryf4ah6o/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

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"
}

Related skills

This week in AI coding

Five minutes, every Monday - the tools, releases and tactics for developers.

unsubscribe anytime.