When should I use the Property-Based Testing skill?

Use this skill when working on serialization logic (JSON, Protobuf), complex parsers, data normalization, mathematical algorithms, or smart contracts where state invariants are critical.

Which PBT libraries does this skill work with?

The skill provides guidance for various ecosystem-standard libraries including Hypothesis (Python), fast-check (JavaScript/TypeScript), proptest (Rust), and Echidna (Solidity).

Does this skill support smart contract security?

Yes, it includes specific guidance for Solidity and Vyper, focusing on state invariants, token operations, and access control to identify vulnerabilities in decentralised applications.

What is Property-Based Testing (PBT)?

Unlike example-based testing which uses specific inputs, PBT verifies that certain properties (like 'a decoded message must match the original encoded message') hold true for a wide range of automatically generated inputs, catching edge cases that humans often miss.

Property-Based Testing

Name: Property-Based Testing
Author: trailofbits

bytrailofbits

•

938

•

セキュリティとテスト

Implements advanced property-based testing patterns to identify edge cases and security vulnerabilities in code and smart contracts.

This skill provides a comprehensive framework for Claude to move beyond simple example-based testing by identifying high-value patterns where property-based testing (PBT) offers superior coverage. Developed by Trail of Bits, it guides the implementation of robust test suites for serialization pairs, parsers, validators, and complex algorithms. It is particularly effective for security-critical applications and smart contract development, offering specialized guidance on state invariants, idempotence, and roundtrip properties to ensure software resilience across multiple programming languages.

主な機能

01Automated detection of high-value PBT patterns like serialization and normalization

02Specialized support for smart contract state invariants in Solidity and Vyper

03938 GitHub stars

04Comprehensive property catalog including Roundtrip, Idempotence, and Oracle testing

05Refactoring guidance to improve code testability and isolate side effects

06Compatibility with popular libraries like Hypothesis, fast-check, and Echidna

ユースケース

01Auditing smart contracts for state transition and access control vulnerabilities

02Stress-testing complex parsers and validators against edge-case inputs

03Verifying data integrity in serialization/deserialization logic

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add trailofbits/skills property-based-testing

For use in Claude.ai and ChatGPT

Download Skill