Property-Based Testing

Property-based testing for multiple programming languages.

Skill1.6k stars on trailofbits/skills · shared by 57 skills

Install

Use it in

Terminal is for Claude Code, Codex, Cursor and Copilot.

property-based-testing.zipCC-BY-SA-4.0 license included

Download .zip

In Claude, open Customize › Skills.
Click +, then Create skill › Upload a skill.
Upload the .zip as it is. No need to unzip it.

Packed by SkillHub from trailofbits/skills, always the latest version. On a phone: download now, upload later from a computer.

Part of

Developers · Testing & QA kitpick 5 of 6

About

Implements property-based testing strategies across languages, generating test inputs that explore edge cases and invariant violations beyond traditional unit tests.

property-testing
fuzzing
invariants
testing

Next in the Testing & QA kit

Whole kit

@browserstack/mcp-server
BrowserStack's Official MCP Server
Connects to Browserstack
154GitHub stars for browserstack/mcp-server
Web App Testing
Test local web applications using Playwright with Claude.
Skill
181.4k· repoGitHub stars for anthropics/skills, shared by the 20 skills listed from this repo
Playwright MCP Server
Browser automation using Playwright's accessibility tree for LLM-friendly structured data.
Connects to Playwright
38.2kGitHub stars for microsoft/playwright-mcp