skills.rest
ayehiaa
ayehiaaCOMMUNITY
Explore all skills by this author →
GitHub

property-based-testing

Generate property-based testing guidance for transformation-heavy code and smart contracts.

Updated May 2, 2026
Search Tags:#test generation#edge cases#smart contracts#property-based testing#hypothesis#invariants#encode decode
One-click install
npx skills add https://github.com/ayehiaa/my-travel-assistant --skill property-based-testing-ayehiaa
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: property-based-testing
Source: https://github.com/ayehiaa/my-travel-assistant/tree/main/.agents/skills/property-based-testing
Command: npx skills add https://github.com/ayehiaa/my-travel-assistant --skill property-based-testing-ayehiaa

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

Property-based testing improves coverage beyond example-based tests by automatically exploring a wide range of inputs and checking that high-level properties always hold.

Core Features & Use Cases

  • Detects PBT opportunities: identifies common transformation patterns like encode/decode pairs, normalization/idempotence functions, validators/parsers, and smart-contract invariants.
  • Generates and reviews PBTs: creates property tests with meaningful properties and strategies, and flags common failures like tautological checks, vacuous assumptions, and weak assertions.
  • Supports Property-Driven Development (PDD): helps define executable properties and input domains before implementing or refactoring code.
  • Refactors for testability: suggests changes that enable stronger properties (e.g., extracting pure logic, adding missing inverse operations).

Quick Start

Ask Claude: Write property-based tests for this encode/decode serializer, and include a roundtrip property plus edge-case examples.

Frequently Asked Questions about property-based-testing

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I write property-based tests for encode/decode serialization roundtrips?▼

Property-based testing for encode/decode serializers verifies that decoding encoded output reproduces the original input. This Skill generates roundtrip properties and input strategies to automatically explore edge cases beyond fixed example tests.

What is property-based testing and when should I use it instead of example-based tests?▼

Property-based testing automatically explores a wide range of inputs to verify high-level invariants always hold. Use it for transformation-heavy code like parsers, validators, normalization functions, and smart contracts where example-based tests miss edge cases.

How do I test smart contract invariants using property-based testing?▼

Testing smart contract invariants with property-based testing involves defining executable properties and input domains that hold across all valid states. This Skill generates invariant-driven test strategies and flags weak assertions or tautological checks.

Why do my property-based tests pass but still miss edge cases in my parser?▼

Property-based tests can pass vacuously when properties are tautological or assumptions are too restrictive. This Skill reviews generated tests to flag vacuous assumptions, weak assertions, and non-grounded properties that fail to catch real edge cases.

Can I use property-based testing for pure functions and normalization logic across multiple languages?▼

Yes, property-based testing applies to pure functions and normalization logic like idempotence checks across multiple languages. This Skill generates language-agnostic property selection and input strategy guidance for refactoring and development workflows.

Related Skills

Explore More Software Engineering Skills→
adamatdevopsadamatdevops
1

property-based-testing

Detect when property-based testing outperforms example-based tests for pure functions.

Community
Intermediate
nicholls-incnicholls-inc
5

lightweight-verify

Generate assertions, invariants, and property-based tests for functions.

Official
Intermediate
roderikroderik
2

property-based-testing

Guide property-based testing with input strategies and invariants across languages.

Community
Intermediate
multiversxmultiversx
12

mvx_property_testing

Generate property-based fuzz tests for MultiversX Rust smart contracts.

Official
Intermediate