trailofbits-property-based-testing

Agent SkillsFreeOpen Source

Trail of Bits skill guiding property-based testing across languages and smart contracts.

🛡️ AgentReady threat assessment

MAESTRO 7-layer threat model + OWASP AIVSS risk score for trailofbits-property-based-testing, derived from its capabilities.

AIVSS 5.3 · Medium

View MAESTRO 7-layer threat model →

These scores are auto-generated from public information (the agent's own listing, docs, and repository) using the canonical OWASP AIVSS formula and the MAESTRO framework — an estimate for guidance, not a penetration test, audit, or certification. See the scoring methodology — every score is re-derived by the same automated method as an agent's public evidence changes.

Overview

Security/testing skill that guides property-based testing across multiple languages and smart contracts, useful when reviewing serialization, validation, and parsing code. Generates property tests as its output surface.

Key features and capabilities

Property-based test design
Multi-language + smart-contract support
Serialization/parsing focus

Use cases

Hardening parsers and validators
Smart-contract invariant testing