Engineering
property-based-testing avatar

property-based-testing

Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.

Installation

Agent type

Claude Code

Install Command (macOS)
curl -fsSL "https://mentalok.io/api/v1/skills/property-based-testing/install?os=mac&agent=claude" | bash
Install Command (Windows)
curl -L "https://mentalok.io/api/v1/skills/property-based-testing/install?os=windows&agent=claude" -o install-property-based-testing.bat && install-property-based-testing.bat

Download Skill Project

/agent-skill/property-based-testing