Name: testland/quickcheck-testing
Rating: 74.4 (1 reviews)
Author: testland

testland/quickcheck-testing

Authors property-based tests for Haskell using QuickCheck (the original PBT library) and for Scala via ScalaCheck (the JVM port) - wires `quickCheck` (Haskell) / `forAll` (ScalaCheck) drivers, defines `Arbitrary` instances or generators, uses `shrink` to find minimal counterexamples, and integrates with HSpec / Tasty (Haskell) or specs2 / ScalaTest. Use when the codebase is Haskell or Scala and the team wants the canonical PBT library that the entire family (Hypothesis / fast-check / proptest / jqwik) was inspired by.

Quality

93%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

Securityby

Passed

No findings from the security scan

Quality

Content

85%

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

A strong, code-forward skill that is executable across both Haskell and Scala with a clean progressive-disclosure split into a verified reference file. The main weakness is mild redundancy: the reference link is repeated many times and the opening sections overlap the description.

Suggestions

Dedupe the inline links to references/quickcheck-reference.md - link it once per section topic or consolidate navigation into the References section, rather than repeating the same link ~6 times.

Trim the Overview and 'When to use' sections so they do not restate the frontmatter description; keep the body focused on the install-to-CI workflow.

Consider adding a brief 'run, read the shrunk counterexample, fix, re-run' feedback loop in Step 3/4 so the test-failure workflow is as explicit as the install steps.

Dimension	Reasoning	Score
Conciseness	Mostly efficient and code-forward, but the same reference link is repeated ~6 times inline and the Overview / 'When to use' sections restate the description, so it could be tightened rather than earning 'every token earns its place'.	2 / 3
Actionability	Fully executable, copy-paste-ready Haskell and Scala code plus cabal/sbt install snippets, ghci output, CI commands, and seed-setting examples - concrete instructions rather than pseudocode or vague direction.	3 / 3
Workflow Clarity	A clearly sequenced Step 1-8 progression (install, basic property, generators, combinators, ScalaCheck, config, CI) with each step unambiguous; the destructive/batch validation cap does not apply to a test-authoring skill.	3 / 3
Progressive Disclosure	The body is an overview that consistently signals the one-level-deep references/quickcheck-reference.md (a real file) for module map, combinators, ScalaTest integration, anti-patterns, and pinned versions - clean overview-plus-detail split.	3 / 3
	Total	11 / 12 Passed

Description

100%

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 model description: concrete multi-action capability list, explicit 'Use when' trigger guidance, natural user vocabulary, and a clearly carved niche that distinguishes it from sibling PBT skills. No vague fluff or over-claims.

Dimension	Reasoning	Score
Specificity	Lists multiple concrete actions - 'wires `quickCheck` / `forAll` drivers, defines `Arbitrary` instances or generators, uses `shrink` to find minimal counterexamples, and integrates with HSpec / Tasty ... or specs2 / ScalaTest' - matching the multi-action anchor rather than the domain-only level 2.	3 / 3
Completeness	Explicitly answers both what (authors PBT, wires drivers, defines Arbitrary/generators, uses shrink, integrates test frameworks) and when ('Use when the codebase is Haskell or Scala and the team wants the canonical PBT library...'), satisfying the explicit-trigger anchor.	3 / 3
Trigger Term Quality	Covers the natural terms a user wanting this would actually say - 'property-based tests', 'QuickCheck', 'ScalaCheck', 'Haskell', 'Scala' - with good variation, not just jargon; above level 2 which expects missing common variations.	3 / 3
Distinctiveness Conflict Risk	Clear niche (Haskell/Scala canonical PBT library) with distinct triggers, and it explicitly contrasts the sibling family ('Hypothesis / fast-check / proptest / jqwik') it was inspired by, making mis-triggering unlikely.	3 / 3
	Total	12 / 12 Passed

Validation

93%

Warnings & errors only

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

Validation — 15 / 16 Passed

Validation for skill structure

Criteria	Description	Result
relative_links	Relative link issues: 1 missing	Warning

	Total	15 / 16 Passed

Reviewed

3 days ago

Table of Contents

Discovery Implementation Validation