Can I use this for stateful testing?

Yes, the skill supports state machine testing, allowing you to generate commands and verify stateful system transitions.

Does it require specific tools?

It requires the MoonBit toolchain and the Aletheia package (f4ah6o/aletheia), which can be added via the 'moon add' command.

Which testing patterns can it detect?

Aletheia automatically detects five main patterns: Round-Trip (serialization), Idempotent (normalization), Producer-Consumer chains, Invariants (collection rules), and Oracle (reference comparison).

How does the sync feature work?

The 'sync' command takes the logic defined in your .pbt.md Markdown templates and synchronizes them into actual test files within your MoonBit packages.

MoonBit PBT Automation (Aletheia)

Name: MoonBit PBT Automation (Aletheia)
Author: f4ah6o

byf4ah6o

0•

安全与测试

Automates the generation and synchronization of property-based testing templates for MoonBit modules using the Aletheia framework.

Aletheia PBT is a specialized skill designed to streamline Property-Based Testing (PBT) workflows within MoonBit repositories. It enables developers to automatically analyze code for testing patterns—such as round-trips, invariants, and idempotency—and generate structured .pbt.md templates that sync directly with package tests. This tool is essential for maintaining high code quality through rigorous property verification, state machine testing, and advanced shrinking strategies, making it significantly easier to identify and fix edge cases in complex logic.

主要功能

01Automated detection of five key PBT patterns: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle

02Built-in statistics integration for deep insights into test coverage and distribution

030 GitHub stars

04Support for state machine testing with automated command generation

05Bidirectional synchronization between Markdown templates and MoonBit package tests

06Advanced shrinking strategies for better counterexample analysis and debugging

使用场景

01Generating property-based test suites for existing MoonBit modules and packages

02Verifying data serialization/deserialization logic via automated round-trip pattern detection

03Implementing stateful system testing for complex applications with recursive types

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add f4ah6o/aletheia.mbt aletheia-pbt

For use in Claude.ai and ChatGPT