nw-pbt-jvm

Automate property-based testing workflows on the JVM across jqwik, ScalaCheck, and ZIO Test.

Updated Apr 15, 2026

Search Tags:#testing #jvm #property-based-testing #pbt #jqwik #scalacheck #zio-test

Ready to run

npx skills add https://github.com/StudentCristian/nWave-github --skill nw-pbt-jvm

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: nw-pbt-jvm
Source: https://github.com/StudentCristian/nWave-github/tree/main/.github/skills/nw-pbt-jvm
Command: npx skills add https://github.com/StudentCristian/nWave-github --skill nw-pbt-jvm

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Automates property-based testing workflows on the JVM across jqwik, ScalaCheck, and ZIO Test frameworks to detect edge cases early and improve code quality.

Core Features & Use Cases

Supports multiple JVM PBT frameworks (jqwik for Java/Kotlin, ScalaCheck for Scala, ZIO Test for Scala).
Provides stateful testing, shrinking, and property-based test generation across languages.
Use cases include validating data structures, API contracts, and complex system invariants.

Quick Start

Install the dependencies for your JVM project and write a simple property using your chosen framework to verify a basic invariant.

Frequently Asked Questions about nw-pbt-jvm

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I automate property-based testing workflows on the JVM?▼

You can automate property-based testing on the JVM by configuring a framework like jqwik, ScalaCheck, or ZIO Test to generate tests, verify invariants, and shrink failing cases in your CI pipeline.

What is property-based testing used for in Java and Scala projects?▼

Property-based testing is used to validate data structures, API contracts, and complex system invariants by generating systematic test cases to detect edge cases early and improve code quality.

Does property-based testing work with both Kotlin and Scala?▼

Property-based testing works with Kotlin and Scala by using frameworks like jqwik for Java and Kotlin, and ScalaCheck or ZIO Test for Scala, provided you configure the appropriate build tool.

How do I set up stateful testing and shrinking for complex data models?▼

You can set up stateful testing and shrinking by installing the appropriate JVM dependencies and writing properties using your chosen framework, requiring language-friendly test libraries with @Property annotations.

What is the difference between jqwik, ScalaCheck, and ZIO Test for PBT?▼

jqwik targets Java and Kotlin projects, while ScalaCheck and ZIO Test target Scala projects, all providing property generation, stateful testing, and shrinking capabilities across different JVM languages.

Why do I need language-friendly test libraries with @Property for CI pipelines?▼

Language-friendly test libraries with @Property are required for CI pipelines to properly recognize, execute, and report property-based tests across your JVM project's build tool configuration.