HEEEXY
SkillTesting

Property Based Testing

Designs property-based tests that generate many cases and check invariants, instead of a few hand-written examples.

How to use it

Install it with the open Skills CLI (needs Node.js), then restart your agent:

npx skills add trailofbits/skills --skill property-based-testing
  1. Download the ZIP from this page and unzip it.
  2. Put the property-based-testing folder in .claude/skills/ inside your project (or ~/.claude/skills/ for all projects).
  3. Restart Claude Code and call it with /property-based-testing.

بالعربي

يصمم اختبارات تولد حالات كثيرة وتتحقق من خصائص ثابتة، بدلا من الاعتماد على أمثلة يدوية قليلة.

More for testing

  • Web App Testing: Tests a local web app with Playwright: checks behavior, screenshots and browser logs. Needs the app running and a browser.
  • /run (built into Claude Code): Launches and drives your app to show a change working in the real app, not just in tests.
  • Test Driven Development: Runs the red-green-refactor loop: write a failing test, make it pass with the minimum code, then clean up with tests still green.