property-based-testing
No security findings. Scanned 1 time, most recently 2026-02-06.
Second scanner: NVIDIA SkillSpector
Independent static run, no language model, over the same files as the Cisco scan above. How the two scanners compare across the whole corpus: Two scanners, one corpus.
What this skill does
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.
- Package
- 8 files, 36 KB
- SKILL.md
- 613 words, 8 sections
- Code
- None. Instructions only.
SKILL.md covers: Property-Based Testing Guide · When to Invoke (Automatic Detection) · When NOT to Use · Property Catalog (Quick Reference) · Decision Tree · How to Suggest PBT · When NOT to Use PBT · Red Flags
Findings
No findings. SAFE
What is in the package
| File | Kind | Size |
|---|---|---|
README.md | doc | 3.1 KB |
SKILL.md | doc | 5.0 KB |
references/design.md | doc | 5.4 KB |
references/generating.md | doc | 5.8 KB |
references/libraries.md | doc | 2.9 KB |
references/refactoring.md | doc | 5.5 KB |
references/reviewing.md | doc | 5.7 KB |
references/strategies.md | doc | 2.9 KB |
External hosts referenced
secure-contracts.com github.com
Hostnames that appear in the skill's files. Referencing a host is not a finding; compare against the findings above and the skill's stated purpose.
Package contents recorded 2026-10-22 at commit a50696e20581. The scan above ran against the version current at scan time; the two can differ if the skill has since been updated.
What we checked
- Static analyzer. Pattern rules over SKILL.md and bundled files: known-bad commands, exfiltration URLs, secrets, obfuscation.
- Behavioral analyzer. Checks what the skill asks the agent to do against what its description claims it does.
- Llm analyzer. A language model reads the skill and reports intent-level issues the rules cannot express.
- Trigger analyzer. Looks for instructions that fire on conditions the user did not ask for.
- Meta analyzer. A second model pass that validates, deduplicates and re-scores the other analyzers' findings.
What we did not check
- Runtime behaviour. The skill was not executed; findings come from reading its files.
- Anything fetched at install or run time, including remote scripts, package dependencies, and URLs the skill tells the agent to open.
- Content the analyzers cannot read: images, binaries, and some non-English text.
- Known scanner bypass classes. See the methodology and limitations page.
Sources
- Repository: https://github.com/trailofbits/skills
- Raw scan result: plugins-property-based-testing-skills-property-based-testing-scan.json
- Badge for your README:
- Request a re-scan