Slash Command

/add-property-based-testing

Implements property-based testing framework: analyzes codebase, selects language-appropriate library (fast-check/JSVerify for JS/TS, Hypothesis for Python, etc.), installs it, defines properties, generates test data, and integrates with existing tests.

JavaScript

npx claudepluginhub davepoon/buildwithclaude --plugin commands-code-analysis-testing

Popularity

Parent stars

2,944

Parent forks

349

Shared by

Invocation

How this command is triggered — by the user, by Claude, or both

Slash command

/commands-code-analysis-testing:add-property-based-testing

Model invocable

No pre-commands

Context Preview

The summary Claude sees in its command listing — used to decide when to auto-load this command

# Add Property-Based Testing

Implement property-based testing framework

## Instructions

1. **Property-Based Testing Analysis**
   - Analyze current codebase to identify functions suitable for property-based testing
   - Identify mathematical properties, invariants, and business rules to test
   - Assess existing testing infrastructure and integration requirements
   - Determine scope of property-based testing implementation
   - Plan integration with existing unit and integration tests

2. **Framework Selection and Installation**
   - Choose appropriate property-based testing framework:
...

Command Content

85 lines · ~963 tokens

Other plugins with /add-property-based-testing

/add-property-based-testing

2.9k

all-commands

/hypo

Hunts bugs in Python codebases, modules, files, or functions using Hypothesis property-based tests: analyzes, proposes properties, writes/runs pytest tests, triages failures.

hypo-plugin

/setup-tests

Sets up testing infrastructure: auto-detects project type, installs frameworks like Vitest/pytest/Playwright, creates unit/integration/E2E tests, generates /test command.

minimal-claude

/aqe-generate

352

Generates test suites using AI-powered analysis for source code paths, supporting unit/integration/e2e/performance/security types with Jest/Cypress/Playwright/Vitest frameworks and options like coverage, property-based, mutation testing.

agentic-qe-fleet

/python-testing

Writes or improves pytest tests for scientific Python code using fixtures, parametrization, and numerical testing patterns. Verifies changes by running pytest.

6 tools

scientific-python-development

/generate-tests

2.2k

Generate production-ready unit tests for source code files or snippets. Auto-detects framework (Jest, pytest, JUnit, etc.), covers happy paths, edges, errors, mocks.

unit-test-generator

Stats

LanguagePython

Parent stars2,944

Parent forks349

MaintenancePoor

Last CommitJan 4, 2026

Actions

View Source View Plugin View on GitHub View README

Help us improve

Share bugs, ideas, or general feedback.

Stats

Actions

Help us improve

Share bugs, ideas, or general feedback.

/add-property-based-testing

# Add Property-Based Testing Implement property-based testing framework ## Instructions 1. **Property-Based Testing Analysis** - Analyze current codebase to identify functions suitable for property-based testing - Identify mathematical properties, invariants, and business rules to test - Assess existing testing infrastructure and integration requirements - Determine scope of property-based testing implementation - Plan integration with existing unit and integration tests 2. **Framework Selection and Installation** - Choose appropriate property-based testing framework: ...

Add Property-Based Testing

Implement property-based testing framework

Instructions

Property-Based Testing Analysis

Analyze current codebase to identify functions suitable for property-based testing
Identify mathematical properties, invariants, and business rules to test
Assess existing testing infrastructure and integration requirements
Determine scope of property-based testing implementation
Plan integration with existing unit and integration tests

Framework Selection and Installation

Choose appropriate property-based testing framework:
- JavaScript/TypeScript: fast-check, JSVerify
- Python: Hypothesis, QuickCheck
- Java: jqwik, QuickTheories
- C#: FsCheck, CsCheck
- Rust: proptest, quickcheck
- Go: gopter, quick
Install framework and configure with existing test runner
Set up framework integration with build system

Property Definition and Implementation

Define mathematical properties and invariants for core functions
Implement property tests for data transformation functions
Create property tests for API contract validation
Set up property tests for business logic validation
Define properties for data structure consistency

Test Data Generation

Configure generators for primitive data types
Create custom generators for domain-specific objects
Set up composite generators for complex data structures
Configure generator constraints and boundaries
Implement shrinking strategies for minimal failing examples

Property Test Categories

Roundtrip Properties: Serialize/deserialize, encode/decode operations
Invariant Properties: Data structure consistency, business rule validation
Metamorphic Properties: Equivalent operations, transformation consistency
Model-Based Properties: State machine testing, system behavior validation
Oracle Properties: Comparison with reference implementations

Integration with Existing Tests

Integrate property-based tests with existing test suites
Configure test execution order and dependencies
Set up property test reporting and coverage tracking
Configure test timeout and resource management
Implement property test categorization and tagging

Advanced Testing Strategies

Set up stateful property testing for complex systems
Configure model-based testing for state machines
Implement targeted property testing for known issues
Set up regression property testing for bug prevention
Configure performance property testing for algorithmic validation

Test Configuration and Tuning

Configure test case generation limits and timeouts
Set up shrinking parameters and strategies
Configure random seed management for reproducibility
Set up test distribution and statistical analysis
Configure parallel test execution and resource management

CI/CD Integration

Configure property-based tests in continuous integration
Set up test result reporting and failure analysis
Configure test execution policies and resource limits
Set up automated property test maintenance
Configure property test performance monitoring

Documentation and Team Training

Create comprehensive property-based testing documentation
Document property definition patterns and best practices
Create examples and templates for common property patterns
Train team on property-based testing concepts and implementation
Set up property test maintenance and evolution guidelines
Document troubleshooting procedures for property test failures

Add Property-Based Testing

Implement property-based testing framework

Instructions

Property-Based Testing Analysis

Analyze current codebase to identify functions suitable for property-based testing
Identify mathematical properties, invariants, and business rules to test
Assess existing testing infrastructure and integration requirements
Determine scope of property-based testing implementation
Plan integration with existing unit and integration tests

Framework Selection and Installation

Choose appropriate property-based testing framework:
- JavaScript/TypeScript: fast-check, JSVerify
- Python: Hypothesis, QuickCheck
- Java: jqwik, QuickTheories
- C#: FsCheck, CsCheck
- Rust: proptest, quickcheck
- Go: gopter, quick
Install framework and configure with existing test runner
Set up framework integration with build system

Property Definition and Implementation

Define mathematical properties and invariants for core functions
Implement property tests for data transformation functions
Create property tests for API contract validation
Set up property tests for business logic validation
Define properties for data structure consistency

Test Data Generation

Configure generators for primitive data types
Create custom generators for domain-specific objects
Set up composite generators for complex data structures
Configure generator constraints and boundaries
Implement shrinking strategies for minimal failing examples

Property Test Categories

Roundtrip Properties: Serialize/deserialize, encode/decode operations
Invariant Properties: Data structure consistency, business rule validation
Metamorphic Properties: Equivalent operations, transformation consistency
Model-Based Properties: State machine testing, system behavior validation
Oracle Properties: Comparison with reference implementations

Integration with Existing Tests

Integrate property-based tests with existing test suites
Configure test execution order and dependencies
Set up property test reporting and coverage tracking
Configure test timeout and resource management
Implement property test categorization and tagging

Advanced Testing Strategies

Set up stateful property testing for complex systems
Configure model-based testing for state machines
Implement targeted property testing for known issues
Set up regression property testing for bug prevention
Configure performance property testing for algorithmic validation

Test Configuration and Tuning

Configure test case generation limits and timeouts
Set up shrinking parameters and strategies
Configure random seed management for reproducibility
Set up test distribution and statistical analysis
Configure parallel test execution and resource management

CI/CD Integration

Configure property-based tests in continuous integration
Set up test result reporting and failure analysis
Configure test execution policies and resource limits
Set up automated property test maintenance
Configure property test performance monitoring

Documentation and Team Training

Create comprehensive property-based testing documentation
Document property definition patterns and best practices
Create examples and templates for common property patterns
Train team on property-based testing concepts and implementation
Set up property test maintenance and evolution guidelines
Document troubleshooting procedures for property test failures

/add-property-based-testing

Popularity

Invocation

Context Preview

Command Content

Other plugins with /add-property-based-testing

Help us improve

Help us improve

Find plugins for your project

/add-property-based-testing

Popularity

Invocation

Context Preview

Command Content