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

Security & Testing

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

About

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.

Key Features

Automated detection of five key PBT patterns: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle
Built-in statistics integration for deep insights into test coverage and distribution
0 GitHub stars
Support for state machine testing with automated command generation
Bidirectional synchronization between Markdown templates and MoonBit package tests
Advanced shrinking strategies for better counterexample analysis and debugging

Use Cases

Generating property-based test suites for existing MoonBit modules and packages
Verifying data serialization/deserialization logic via automated round-trip pattern detection
Implementing stateful system testing for complex applications with recursive types

About

Key Features

Automated detection of five key PBT patterns: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle
Built-in statistics integration for deep insights into test coverage and distribution
0 GitHub stars
Support for state machine testing with automated command generation
Bidirectional synchronization between Markdown templates and MoonBit package tests
Advanced shrinking strategies for better counterexample analysis and debugging

Use Cases

Generating property-based test suites for existing MoonBit modules and packages
Verifying data serialization/deserialization logic via automated round-trip pattern detection
Implementing stateful system testing for complex applications with recursive types