Property-Based Testing

---
name: Property-Based Testing
author: trailofbits
version: 1.0.0
description: Property-based testing for multiple languages and smart contracts.
category: Security
tags: [property-testing, fuzzing, smart-contracts, testing]
platforms: [claude-code, codex, cursor, multi-platform]
license: AGPL-3.0
---

# Property-Based Testing

Property-based testing for multiple languages and smart contracts.

## Usage

This skill automatically enhances your AI agent's capabilities
when installed. No additional configuration required.

## Installation

```bash
npx skills add trailofbits/property-based-testing
```

## Compatibility

This skill is compatible with: claude-code, codex, cursor, multi-platform

## License

AGPL-3.0