claudeindex
Plugin

property-based-testing

Property-based testing guidance for multiple languages and smart contracts

Installation

1

Add the marketplace

/plugin marketplace add trailofbits/skills
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.