Claude Market
Menu
property-based-testing logo

property-based-testing

trailofbits/skills

Summary

Property-based testing guidance for multiple languages and smart contracts

SKILL.md

{
  "name": "property-based-testing",
  "version": "1.1.0",
  "description": "Property-based testing guidance for multiple languages and smart contracts",
  "author": {
    "name": "Henrik Brodin",
    "url": "https://github.com/trailofbits"
  }
}

View raw file

Recommended skills

Browse all →

Claude Plugin

building-secure-contracts

Comprehensive smart contract security toolkit based on Trail of Bits' Building Secure Contracts framework. Includes vulnerability scanners for 6 blockchains and 5 development guideline assistants.

Claude Plugin

let-fate-decide

Draws Tarot cards using cryptographic randomness to add entropy to vague or underspecified planning. Interprets the spread to guide next steps. Use when feeling lucky, invoking heart-of-the-cards energy, or when prompts are ambiguous.

Claude Plugin

skill-improver

Automatically reviews and fixes Claude Code skills through iterative refinement until they meet quality standards. Requires plugin-dev plugin.