Claude Marketplaces

property-based-testing

trailofbits/skills

Property-based testing guidance for multiple languages and smart contracts

version: 1.1.0
GitHub stars: 4.3K

Install

/plugin install property-based-testing@trailofbits-skills

Run it inside Claude Code after adding the marketplace with /plugin marketplace add trailofbits/skills.

Sponsors

CodeRabbitSponsoredTry For Free

Lid closed, agents workingDownload free

Devtools for design engineersTry it live

belt - the only tool your agent needsSponsoredone prompt install

Open StepsSponsoredDownload for free

AppSignalSponsoredStart Free Trial

Block distraction from your iPhoneBlock now (100% free)

Granola, the best AI meeting recorderSponsoredDownload for free

Contents

Discovered from source

Agents 31

01-roundtrip-codec.md 02-normalizer-idempotence.md 03-hypothesis-existing.md 04-echidna-invariant.md 05-review-weak-tests.md 07-fuzz-serializer-noname.md 08-sort-comparator.md 09-neg-libfuzzer-harness.md 10-neg-mutation-campaign.md 11-neg-flaky-ci.md 12-neg-crud-unit-test.md 13-neg-slither-scan.md 14-neg-benchmark.md 15-neg-pytest-setup.md 16-neg-e2e-playwright.md

no-skill-invocation.md

Details

Marketplace: trailofbits/skills
Source: plugins/property-based-testing
Author: Henrik Brodin
Category: community