Skills
.Work. You
Rest

nw-pbt-jvm

Community

PBT on the JVM with jqwik, ScalaCheck, ZIO

Software Engineering#testing#jvm#property-based-testing#pbt#jqwik#scalacheck#zio-test
AuthorStudentCristian
Version1.0.0
Installs0

System Documentation

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.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: nw-pbt-jvm
Download link: https://github.com/StudentCristian/nWave-github/archive/main.zip#nw-pbt-jvm

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.