Technical & DevelopmentIntermediate
property-based-testing
Property-based testing for multiple languages and smart contracts
Developer Setup
Setup & Installation
bash
npx skills add https://github.com/trailofbits/skills --skill property-based-testingnpx skills add https://github.com/trailofbits/skills --skill property-based-testingOr paste this URL into your assistant to install:
Overview
What This Skill Does
Guides property-based testing across Python, JavaScript, Rust, and Solidity/Vyper. Detects high-value patterns like serialization pairs, normalizers, and smart contract state invariants, then suggests appropriate properties and generators. Covers the full workflow from test design to failure interpretation.
Application
When to use this Skill
- Configuring integration settings for custom agent workflows.
- Optimizing query execution and response latency in production.
- Developing clean, standard-compliant implementations for enterprise services.
- Troubleshooting connection timeouts and authentication handshakes.
- Monitoring API rate limits and execution pipelines programmatically.
Documentation
Show Skills.md file
Property-Based Testing
Property-based testing guidance for multiple languages and smart contracts.
Installation
This plugin is part of the Trail of Bits Skills marketplace.
Via Marketplace (Recommended)
/plugin marketplace add trailofbits/skills
/plugin menu
Then select the property-based-testing plugin to install.
Manual Installation
/plugin install trailofbits/skills/plugins/property-based-testing
What's Included
Lines 1 - 25 of 47
Recommendations