Agent Plugins Marketplace
← All plugins

property-based-testing

v1.2.1

Write, review, and triage property-based tests — Hypothesis, fast-check, proptest, and Echidna or Medusa for Solidity invariants

Claude Code1 Skill

By Henrik Brodin7.1k GitHub starsUpdated last week

Directory evidence

Runtimes
Claude Code
Parsed components
1 skill or MCP entry
Source updated
Sep 16, 2026
Manifest status
Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →

Install property-based-testing for Claude Code

Installs for the current user
claude plugin marketplace add IchenDEV/agent-plugin-mkt
claude plugin marketplace update agent-plugin-marketplace
claude plugin install property-based-testing@agent-plugin-marketplace

Paste and run these commands in a terminal with Claude Code. They add and refresh the PluginsMP catalog, then install this plugin.

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually
git clone https://github.com/trailofbits/skills

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/property-based-testing/.

Plugin files

plugins/property-based-testing/
├── .claude-plugin/plugin.json
└── skills/property-based-testing/SKILL.md

Included Skills1

property-based-testingskills/property-based-testing/SKILL.md

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and normalizers, validators, numeric and Decimal types, comparators and sort order, data structures, and smart-contract state invariants. Also use when adding cases to an existing @given, fast-check, or proptest suite, when judging whether existing property tests assert anything real, and when a generator has shrunk a counterexample and you need to tell a wrong property from a genuine bug. Not for coverage-guided binary fuzzing (libFuzzer, AFL), mutation-testing campaigns, static analysis, benchmarking, or end-to-end UI tests.

Plugin manifests1

plugins/property-based-testing/.claude-plugin/plugin.json
{
  "name": "property-based-testing",
  "version": "1.2.1",
  "description": "Write, review, and triage property-based tests — Hypothesis, fast-check, proptest, and Echidna or Medusa for Solidity invariants",
  "author": {
    "name": "Henrik Brodin",
    "url": "https://github.com/trailofbits"
  },
  "interface": {
    "displayName": "Property-Based Testing",
    "shortDescription": "Write, review, and triage property-based tests — Hypothesis, fast-check, proptest, and Echidna or Medusa for Solidity invariants",
    "longDescription": "Write, review, and triage property-based tests — Hypothesis, fast-check, proptest, and Echidna or Medusa for Solidity invariants",
    "developerName": "Henrik Brodin"
  }
}

For maintainers

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[property-based-testing on Agent Plugins Marketplace](https://pluginsmp.com/plugins/property-based-testing)