property-based-testing
CommunityBoost tests with cross-language PBT.
Software Engineering#edge-cases#fast-check#smart-contracts#test-strategy#property-based-testing#PBT#Hypothesis
Authorroderik
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Property-based testing provides a rigorous approach to validate software by asserting properties across wide input spaces instead of relying solely on example-based tests. It helps uncover edge cases and invariants early, across languages and domains including smart contracts.
Core Features & Use Cases
- Guidance on designing input strategies (roundtrip, idempotence, invariants)
- Patterns across languages (Python/Hypothesis, JS/fast-check, Rust/proptest, Solidity/Echidna)
- Practical workflows for unit and contract testing
Quick Start
Ask me to apply property-based testing to a function or contract to design a test suite that checks roundtrip and invariants, with example strategies and properties.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: property-based-testing Download link: https://github.com/roderik/mpe/archive/main.zip#property-based-testing Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.