Search metadata
Property-Based Testing
by Trail of Bits OrgOfficial Skill · in Security Research
Description
Guidance for property-based testing across multiple languages and smart contracts — stronger coverage than example-based tests.
Review status
This registry entry has been submitted and is awaiting security assessment.
Required Permissions
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Source: GitHub API, fetched today
Similar Skills
Entry Point Analyzer
Analyzes smart contract codebases to identify state-changing entry points for security auditing — categorizes by access level and generates structured audit reports.
Audit Context Building
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.
Differential Review
Security-focused differential review of code changes (PRs, commits, diffs) — calculates blast radius and generates markdown reports.