# Property-Based Testing

> Guidance for property-based testing across multiple languages and smart contracts — stronger coverage than example-based tests.

- **URL**: https://aescut.sh/skill/tob-property-based-testing
- **Kind**: Skill
- **Risk Level**: low
- **Status**: pending
- **Category**: Security Research
- **Maintainer**: Trail of Bits
- **License**: MIT
- **Source**: https://github.com/trailofbits/skills/tree/main/plugins/property-based-testing/skills/property-based-testing

## Permissions

- File System (Read)

## Assessment

Pending security review.

## Repository

> Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
5099 stars · 446 forks · Python · last commit 2026-02-11T16:39:47.000Z · 29 contributors
Source: GitHub API, fetched 2026-05-10T07:58:37.609Z