Which programming languages are supported?

The skill provides guidance for multiple languages and libraries including Python (Hypothesis), JavaScript (fast-check), Rust (proptest), and smart contract languages.

What is property-based testing?

It is a testing methodology where you define general properties that should always be true for your code. The test runner then generates hundreds of random inputs to find counter-examples that break those properties.

How does this skill help with smart contracts?

It provides specialized guidance for Solidity and Vyper, focusing on state invariants, access control, and token operations using tools like Echidna to ensure blockchain security.

Can this skill help refactor my code?

Yes, it includes specific patterns for refactoring code with side effects or missing inverses to make it more suitable for automated property-based verification.

When should I use this skill instead of standard unit tests?

Use this skill for logic-heavy operations like parsers, encoders, and mathematical functions where edge cases are difficult to manually define but easy to catch with random data generation.

Property-Based Testing Pro

Name: Property-Based Testing Pro
Author: sudohakan

bysudohakan

•

Security & Testing

Automates the identification and implementation of property-based tests to ensure high-coverage software reliability and invariant verification.

The Property-Based Testing skill empowers Claude to proactively identify scenarios where traditional example-based tests fall short, such as serialization logic, complex parsers, and smart contract invariants. It provides a structured framework for defining properties like roundtrips, idempotence, and commutativity across various programming languages. By integrating this skill, developers can automatically detect high-value testing targets, receive guidance on library-specific strategies for tools like Hypothesis or fast-check, and implement robust test suites that uncover edge cases often missed by manual test cases.

Key Features

01Automatic detection of PBT patterns like serialization pairs and data normalizers

02Domain-specific guidance for smart contract state invariants and token operations

03Integration support for popular PBT libraries like Hypothesis, fast-check, and proptest

04Refactoring patterns to transform side-effect-heavy code into testable pure functions

05Comprehensive property catalog including Roundtrip, Idempotence, and Invariants

062 GitHub stars

Use Cases

01Enforcing state invariants and access control in Solidity or Vyper smart contracts

02Finding edge cases in mathematical algorithms and data structure operations

03Verifying complex data serialization and deserialization logic for consistency

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add sudohakan/claude-code-dotfiles property-based-testing

For use in Claude.ai and ChatGPT

Key Features

01Automatic detection of PBT patterns like serialization pairs and data normalizers

02Domain-specific guidance for smart contract state invariants and token operations

03Integration support for popular PBT libraries like Hypothesis, fast-check, and proptest

04Refactoring patterns to transform side-effect-heavy code into testable pure functions

05Comprehensive property catalog including Roundtrip, Idempotence, and Invariants

062 GitHub stars

Use Cases

01Enforcing state invariants and access control in Solidity or Vyper smart contracts

02Finding edge cases in mathematical algorithms and data structure operations

03Verifying complex data serialization and deserialization logic for consistency