CtrlK
BlogDocsLog inGet started
Tessl Logo
PluginPublic

testland/proptest-testing

Use when a Rust project needs property-based tests, especially for parsers, serializers and functions with structured input. Sets up proptest: the proptest! macro, strategies for collections, regex strings and any, shrinking and the persisted regression file.

Quality

92%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Passed

No findings from the security scan

Overview
Quality
Evals
Security
Files

Quality

Content

92%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

The body is a well-structured, highly actionable reference: executable code for every step, a tight strategy/config catalog, an explicit test-fail-fix-replay feedback loop, and a clean split pushing prop_compose! and property patterns into a single well-signaled reference file. The only trimmable material is the README blockquotes and the duplicated maintenance-status note.

DimensionReasoningScore

Conciseness

The body is dominated by compact tables and tight code, but the Overview blockquotes explaining what proptest is, repeated "Per [proptest-readme][pt]" framing, and the maintenance-status note duplicated in both Install and Limitations are minor over-explanations that could be trimmed.

4 / 5

Actionability

Copy-paste-ready snippets throughout: Cargo.toml dev-dependency, proptest! macro form, ProptestConfig tuning, prop_compose! strategy, CI YAML with PROPTEST_SEED, plus a strategy catalog table and a complete worked RgbColor round-trip example covering the common cases.

5 / 5

Workflow Clarity

The 7-step "How to use" sequence includes an explicit validation feedback loop (run cargo test; on failure commit the proptest-regressions/ file, fix, re-run), which the worked example walks through end-to-end (fail → shrink → commit → fix → pass).

5 / 5

Progressive Disclosure

Clear overview structure with a single one-level-deep reference (references/strategies-and-patterns.md, verified to exist and not nest further), signaled at point of need in the strategy catalog, How-to-use step 4, the worked example, and References, each with a description of what it contains.

5 / 5

Total

19

/

20

Passed

Description

88%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

A strong description: it explicitly states when to use the skill with concrete trigger contexts (parsers, serializers, structured input) and enumerates specific capabilities rather than vague claims. The only gaps are a few missing natural synonyms (round-trip, invariants, fuzzing) and minor overlap risk with sibling Rust testing-tool skills.

DimensionReasoningScore

Specificity

"Sets up proptest: the proptest! macro, strategies for collections, regex strings and any, shrinking and the persisted regression file" lists multiple concrete capabilities (macro usage, three strategy families, shrinking, regression persistence) that comprehensively cover the skill's scope.

5 / 5

Completeness

Explicitly answers both: what ("Sets up proptest: the proptest! macro, strategies..., shrinking and the persisted regression file") and when ("Use when a Rust project needs property-based tests, especially for parsers, serializers and functions with structured input") with concrete trigger phrases.

5 / 5

Trigger Term Quality

Natural terms users would say are present ("Rust project", "property-based tests", "proptest", "parsers", "serializers"), but common variations like "round-trip", "invariants", "fuzzing", or "generative testing" are missing.

4 / 5

Distinctiveness Conflict Risk

Names the tool (proptest) and domain (Rust) explicitly, giving a clear niche, but adjacent Rust testing skills (quickcheck, cargo-fuzz) share some trigger space, e.g. a user asking to "fuzz" Rust code.

4 / 5

Total

18

/

20

Passed

Validation

100%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 16 / 16 Passed

Validation for skill structure

No warnings or errors.

Reviewed

On this page