When should I use this skill instead of aletheia-pbt?

Use this skill only when working directly on the f4ah6o/aletheia.mbt repository. For applying PBT to other MoonBit projects, use the general aletheia-pbt skill.

How does it handle recursive types and complex data?

The skill includes specialized size parameter controls for recursive types and advanced shrinking strategies to handle complex data structures during test failures.

What testing patterns are covered by this skill?

It covers five major PBT patterns: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle, as well as comprehensive state-machine testing.

What is the primary purpose of Aletheia Self-PBT?

It is a specialized workflow skill used to maintain and test the Aletheia MoonBit repository itself, ensuring the tool's analyzer and generator logic are correct through self-dogfooding.

Aletheia MoonBit Self-PBT

Name: Aletheia MoonBit Self-PBT
Author: f4ah6o

byf4ah6o

セキュリティとテスト

Automates the self-dogfooding property-based testing workflow for the Aletheia MoonBit repository.

概要

Aletheia Self-PBT is a specialized developer skill designed specifically for maintaining the Aletheia toolset within the MoonBit ecosystem. It manages a comprehensive self-testing pipeline that covers pattern detection, signature extraction, and property generation, allowing the tool to validate its own quality through property-based testing (PBT). By implementing advanced shrinking strategies, stateful testing workflows, and invariant detection, this skill ensures that changes to the Aletheia analyzer, generator, or CLI are rigorously verified against 50+ internal tests with a 100% pass rate.

主な機能

Automated PBT template generation and synchronization via self-dogfooding
0 GitHub stars
Support for five pattern types: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle
Advanced shrinking system with integrated test statistics and insights
Seamless integration with MoonBit toolchain commands like moon info, fmt, and test
Stateful PBT workflow validation for complex state machine testing

ユースケース

Updating pattern detection or signature extraction logic within the Aletheia repository
Validating codebase quality using the automated self_pbt.sh verification script
Regenerating internal .pbt.md documentation and property templates after core changes

概要

主な機能

Automated PBT template generation and synchronization via self-dogfooding
0 GitHub stars
Support for five pattern types: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle
Advanced shrinking system with integrated test statistics and insights
Seamless integration with MoonBit toolchain commands like moon info, fmt, and test
Stateful PBT workflow validation for complex state machine testing

ユースケース

Updating pattern detection or signature extraction logic within the Aletheia repository
Validating codebase quality using the automated self_pbt.sh verification script
Regenerating internal .pbt.md documentation and property templates after core changes