Skills property-testing-guide
📦

property-testing-guide

v1.0.0 Content revision r1 Safe ⚙️ External commands

Design Rust Property Tests with Proptest

Property-based testing can be hard to apply because useful properties and generators are not always obvious. This skill helps Claude, Codex, or Claude Code propose targeted proptest strategies for Rust code.

Supports: Claude Codex Code(CC)
🥈 80 Silver

Install with my Agent

Copy this request to your Agent. It includes the canonical Skill page and manifest.

Agent request
Review the Skillstore skill "property-testing-guide" from https://skillstore.io/skills/emillindfors-property-testing-guide.md and its manifest at https://skillstore.io/api/skills/emillindfors-property-testing-guide/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.

Your Agent should still show its plan and request any confirmation required by the security policy.

Agent-readable resources

Use these links when an AI agent, crawler, or script needs clean context instead of reading the full page.

Markdown detail GET /skills/emillindfors-property-testing-guide.md Signed manifest GET /api/skills/emillindfors-property-testing-guide/manifest Signed lockfile GET /api/skills/emillindfors-property-testing-guide/lockfile

Test it

Using "property-testing-guide". A Rust parser accepts names and ages from a comma-separated string.

Expected outcome:

The assistant proposes properties for no panics, valid generated records, rejected malformed input, and roundtrip formatting checks.

Using "property-testing-guide". A custom sort implementation returns reordered integer vectors.

Expected outcome:

The assistant suggests checking sorted order, preserved length, preserved elements, idempotence, and comparison with the standard sort.

Using "property-testing-guide". A B-tree supports insert and remove operations.

Expected outcome:

The assistant recommends generated operation sequences that verify balance, ordering, lookup behavior, and consistency after each mutation.

Security Audit

Safe
v4 • 7/6/2026 Open versioned report

All static findings are false positives from Markdown code fences, Rust examples, TOML dependency text, and ordinary proptest comments. No prompt injection, malicious intent, command execution, data exfiltration, or system reconnaissance was found in SKILL.md.

1
Files scanned
295
Lines analyzed
0
Review items
0
False positives ignored

Risk Factors

⚙️ External commands (27)
SKILL.md:29-36 SKILL.md:36-39 SKILL.md:39-52 SKILL.md:52-59 SKILL.md:59-72 SKILL.md:72-77 SKILL.md:77-88 SKILL.md:88-93 SKILL.md:93-109 SKILL.md:109-114 SKILL.md:114-127 SKILL.md:127-132 SKILL.md:132-144 SKILL.md:144-150 SKILL.md:150-169 SKILL.md:169-173 SKILL.md:173-188 SKILL.md:188-194 SKILL.md:194-214 SKILL.md:214-218 SKILL.md:218-245 SKILL.md:245-249 SKILL.md:249-260 SKILL.md:260-264 SKILL.md:264-267 SKILL.md:267-273 SKILL.md:273-283
No confirmed security findings were detected by the latest completed static and semantic audit. This does not prove the skill has no side effects.
Audited by: codex View Audit History →
Share & cite this report

Share the versioned assessment report, neutral badge, embed card, and citations. Skillstore reports evidence without deciding whether this Skill is safe.

Open versioned report
Security Assessment

Copy report link

https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Markdown badge

[![Skillstore security assessment](https://skillstore.io/badges/skills/emillindfors-property-testing-guide/security.svg)](https://skillstore.io/skills/emillindfors-property-testing-guide?utm_source=security_passport_badge)

HTML badge

<a href="https://skillstore.io/skills/emillindfors-property-testing-guide?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/emillindfors-property-testing-guide/security.svg" alt="Skillstore security assessment" loading="lazy"></a>

Embed card

<iframe src="https://skillstore.io/embed/skills/emillindfors-property-testing-guide.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>
Academic citations (APA · BibTeX · CFF)

APA citation

EmilLindfors. (2026). property-testing-guide security audit report (audit version 4) [Author version 1.0.0]. Skillstore. https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4

BibTeX citation

@techreport{emillindfors-emillindfors-property-testing-guide-2026, author = {EmilLindfors}, title = {property-testing-guide security audit report (audit version 4)}, institution = {Skillstore}, year = {2026}, number = {4}, url = {https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4}, note = {Author version 1.0.0} }

CITATION.cff

cff-version: 1.2.0 message: "If you use this Skill, cite its author and this versioned security audit report." title: "property-testing-guide security audit report (audit version 4)" version: "1.0.0" type: report authors: - name: "EmilLindfors" date-released: "2026-07-06" url: "https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4" identifiers: - type: other value: "skillstore:emillindfors-property-testing-guide:audit:4" description: "Skillstore immutable audit report identifier"

Skillstore Score

Why this score Evidence Confidence: High
55
Architecture
100
Maintainability
87
Content
70
Community
83
Spec Compliance

What You Can Build

Test Algorithm Implementations

Create properties for sorting, encoding, parsing, or numeric functions that must behave correctly across many inputs.

Validate Data Structures

Define generated operation sequences that check ordering, balance, and consistency after every mutation.

Improve Review Coverage

Ask an assistant to suggest missing property tests before merging complex Rust logic.

Try These Prompts

Find Basic Properties 
Review this Rust function and suggest simple proptest properties that should always hold. Focus on edge cases and clear assertions.
Create Roundtrip Tests 
Design property-based tests for this Rust roundtrip path. Include suitable input strategies and explain what each property proves.
Test Data Structure Invariants 
Suggest proptest operation sequences for this data structure. Check invariants after each operation and note important generated cases.
Build an Oracle Comparison Plan 
Compare this optimized Rust algorithm against a trusted reference implementation using proptest. Propose strategies, invariants, and failure triage steps.

Best Practices

  • Start with properties that describe observable behavior, not implementation details.
  • Use constrained strategies when generated values must satisfy domain rules.
  • Keep failing cases small and readable so shrinking results are easy to debug.

Avoid

  • Generating only trivial values that never exercise boundary conditions.
  • Replacing all example-based tests with broad properties that hide specific requirements.
  • Writing properties that duplicate the same flawed logic as the implementation under test.

Frequently Asked Questions

What does this skill help me do?
It helps design Rust property-based tests with proptest for algorithms, parsers, data structures, and serialization code.
Does it run my tests?
No. It provides testing guidance and examples, but it does not execute commands or verify compilation.
Which Rust testing crate does it target?
It targets proptest and uses proptest concepts such as strategies, generated inputs, invariants, and shrinking.
Can it help with parser testing?
Yes. It suggests properties such as no panics, valid input acceptance, malformed input rejection, and roundtrip behavior.
Is it useful for data structures?
Yes. It recommends generated operation sequences and invariant checks for stateful structures.
What should I provide for best results?
Provide the Rust code, expected behavior, known constraints, and any reference implementation or examples.

Developer Details

License

MIT

Author version

v1.0.0

Skillstore revision

r1

Repository

https://github.com/EmilLindfors/claude-marketplace/tree/main/plugins/rust-testing/skills/property-testing-guide

Ref

a06681402992ceae98ba04d54cfd4ab004862696

Maintenance freshness

7/18/2026

Usage

4 downloads · 169 views

File structure

📄 SKILL.md