~ / leaderboard / skill / property-based-testing
Skill · #856 
property-based-testing
Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain i
9rigs use it
0%of all rigs
11.4kavg rig context tax
Get it
$ npx degit trailofbits/skills/plugins/property-based-testing/skills/property-based-testing .claude/skills/property-based-testing From the most-starred rig that ships it: trailofbits/skills. Same-named skills in different rigs may differ — review before use.
Often used together with
differential-review · 4pdf · 3algorithmic-art · 3semgrep-rule-creator · 3modern-python · 3audit-context-building · 3supply-chain-risk-auditor · 3skill-creator · 2frontend-design · 2mcp-builder · 2
Rigs using property-based-testing (9)
trailofbits/skills
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Skill Collector 24.3k tok ·
foryourhealth111-pixel/Vibe-Skills
Intelligent Skill routing and workflow orchestration for AI agents — +21.12 pp reward, −29.6% tokens on SkillsBench with DeepSeekV4Flash-VE.
Skill Collector 6.0k tok ·
ed3dai/ed3d-plugins
Ed's repo of Claude Code plugins, centered around a research-plan-implement workflow. Only a tiny bit cursed. If you're lucky.
Skill Collector 11.7k tok ·
bg-szy/TOP-SKILLS
全球最大的 Claude Code 技能聚合库 · 收录 3900+ 来自 12+ 来源的技能，提供在线搜索与趋势分析看板 / The world's largest Claude Code skill aggregation hub — 3900+ skills from 12+ sources with online search and trend dashboard
Skill Collector 5.9k tok ·
kmshihab7878/claude-code-setup
Public-safe Claude Code operating setup with commands, skills, agents, hooks, MCP governance, context-budget discipline, and automated secret/public-safety validation.
Orchestrator 10.2k tok ·
scoobydont-666/shared-claude-skills
Production-tested daily-driven Claude Code skills — model routing, security hardening, code quality, tax advisory, cost optimization. Install: clone to ~/.claude/skills/
Skill Collector 1.3k tok ·
lukehungngo/claude-mas-template
Production-grade multi-agent system template for Claude Code: 7 agents, 13 skills, TDD workflows, and battle-tested engineering practices
Fort Knox 3.3k tok ·
TomerAberbach/claude-config
🤖 My Claude Code config!
Skill Collector 5.3k tok ·
kennyolofsson23-netizen/claude-code-config
The most comprehensive Claude Code setup — 29 skills, 9 plugins, 13 hooks, 8 agents, 8 commands. Self-documenting, self-improving, CLI-first. Includes self-interview prompt for personalization.
Orchestrator 34.8k tok ·