property-based-testing

PackDev tools

Guides your agent through writing property-based tests across many programming languages.

Unavailable. Delivery for this kind is on the roadmap — not serving yet.

Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.

About this app

Property-based testing guidance for multiple languages and smart contracts

Signals

GitHub stars
7k
Forks
618
Last commit
Sep 2026
Advanced
Item type
plugin
Key
trailofbits-skills-property-based-testing
Source
github.com/trailofbits/skills