Harness-engineering harness-property-test

name: harness-property-test version: "1.0.0" description: Property-based and generative testing with fast-check, hypothesis, and automatic shrinking stability: static cognitive_mode: constructive-architect triggers:

• manual
• on_new_feature platforms:
• claude-code
• gemini-cli
• cursor
• codex tools:
• Bash
• Read
• Write
• Edit
• Glob
• Grep
• emit_interaction cli: command: harness skill run harness-property-test args:
  • name: path description: Project root path required: false
  • name: framework description: "Property testing framework: fast-check, hypothesis, proptest, or quickcheck. Auto-detected when omitted." required: false
  • name: target description: "Target function or module for property test generation." required: false mcp: tool: run_skill input: skill: harness-property-test path: string type: rigid tier: 3 internal: false keywords:
• property-based testing
• generative testing
• fast-check
• hypothesis
• proptest
• QuickCheck
• fuzzing
• shrinking
• arbitrary
• invariant stack_signals:
• "src/**/property"
• "tests/property/"
• "src/**/.prop."
• "tests/**/properties/" phases:
• name: identify description: Analyze functions and data types to discover testable properties and invariants required: true
• name: define description: Define property specifications, custom generators, and shrinking strategies required: true
• name: execute description: Run property tests with sufficient iterations and collect counterexamples required: true
• name: analyze description: Interpret shrunk counterexamples, diagnose root causes, and harden implementations required: true state: persistent: false files: [] depends_on: []