Scan reports · trailofbits/skills
property-based-testing: scan report
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 instead of a… An automated scan of this public skill from trailofbits/skills: security, token cost, spec and clarity, with every finding and its fix.
Result
Verdict
89/100 · grade B
trailofbits/skills/plugins/property-based-testing/skills/property-based-testing at 5c99c03
Spec 21 · Efficiency 25 · Clarity 18 · Security 25 (each out of 25)
Always loaded 217 tokens · on trigger 844 · on demand 8,029
spec/non-portable-keyswarn · SKILL.mdNon-spec frontmatter (effort). claude.ai and the Skills API reject the upload; move them under `metadata` or drop them.clarity/outputwarn · SKILL.mdDoesn't say what the result should look like. Add an Output section.clarity/workflowinfo · SKILL.mdNo numbered workflow. Ordered steps make agents more reliable than prose.
Where it comes from
Source
| Fact | Value |
|---|---|
| Repository | trailofbits/skills |
| Skill folder | plugins/property-based-testing/skills/property-based-testing |
| Stars | 7,641 |
| License | CC-BY-SA-4.0 |
| Commit scanned | 5c99c03 |
| Scanned | 2026-10-19 |
| Files | 8 |
ProSkills doesn't host or redistribute this skill. Get it from its repository, and check the license before reusing it. Something wrong here? Open an issue for a rescan or removal.
For maintainers
Badge for the README
If you maintain this skill, this badge shows its score and links to this report. Fix findings and the score moves with the next scan.
[](https://proskills.dev/reports/trailofbits-property-based-testing)
Alternatives
Scanned alternatives on ProSkills
Skills in the ProSkills catalog that cover similar ground. Every one passes the same scanner before it ships.
- Test WriterTests that fail before the fix and pass after.Loads when the user needs tests for new code or a bug fix.5 rules · Code ReviewScan 100$9
- Debug DetectiveRoot cause, not a patch. Regression test included.Loads when the user has a failing test, an error or a bug that regressed.5 rules · Code ReviewScan 100$9
- AGENTS.md ArchitectA short instructions file from your real repo.Loads when the user writes, rewrites or audits CLAUDE.md, AGENTS.md or rules files.5 rules · Agent OpsScan 100Free
Same repository
More from trailofbits/skills
- agentic-actions-auditorGrade F50/100
- algorand-vulnerability-scannerGrade A100/100
- audit-context-buildingGrade F70/100
- audit-prep-assistantGrade A100/100
- burpsuite-project-parserGrade A90/100
- c-reviewGrade A93/100
- cairo-vulnerability-scannerGrade A100/100
- chrome-mcp-troubleshootingGrade A90/100
- code-improverGrade A92/100
- code-maturity-assessorGrade A100/100
- constant-time-analysisGrade C71/100
- cosmos-vulnerability-scannerGrade A92/100
FAQ
Questions
- Is property-based-testing safe to install?
- No known risky patterns found. The scan covers prompt injection, hidden Unicode, remote code execution and credential access in every text file of the skill. It cannot judge intent, so read any flagged line in context before installing.
- How was this score calculated?
- Four checks of 25 points each: spec, efficiency, clarity and security. Findings take points off the check they belong to, and any critical finding caps the grade at F. The same scanner runs in your browser at proskills.dev/scan.
- Is this report current?
- It was made from commit 5c99c03 on 2026-10-19. If the skill has changed since, paste the new version into the scanner for a fresh score.
- I wrote this skill. Can I fix the score or have the page removed?
- Fix the findings and push. The reports are rebuilt from GitHub on a schedule, so the next run picks the change up. To have the page removed, open an issue on the ProSkills GitHub repo.
Related
Keep reading
Free tool
Scan your own skill
Paste a SKILL.md or drop a folder. It is scored in your browser and nothing is uploaded.
Want a skill that already passes? Start with a free one.