jsverify/jsverify
Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck. observed · 2026-08-28
Health v2 · maintenance only
23/100
- Activity 0
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 4730
- days_rel: n/a
- days_push: 1976
- n_releases_24m: 0
Adoption not part of the score
1661 stars · 85 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
JSVerify is a property-based testing library for JavaScript, inspired by Haskell's QuickCheck. It generates random test inputs, verifies user-defined invariants over many cases, and shrinks failing inputs to minimal counterexamples, integrating with frameworks like Mocha and Jasmine.
Use cases
- property-based testing for javascript functions
- generate random test inputs automatically
- find minimal failing counterexamples with shrinking
- test invariants like sort idempotency
- use quickcheck-style tests with mocha
- write property tests in typescript
When to choose
- you want QuickCheck-style property testing in JavaScript
- you need automatic input generation and shrinking
- you use Mocha, Jasmine, or another test framework and want framework-agnostic properties
When to avoid
- you only need simple example-based unit tests
- you need a actively developed library with modern maintenance
- you need property testing with deep TypeScript type integration
Facets
library · maturity maintenance
testing fuzzing data-generation testing developer-tools cross-platform property-based-testing quickcheck generators shrinking mocha jasmine javascript nodejs
3 sources
- readme: https://github.com/jsverify/jsverify · fetched 2026-08-28 · 5d138e2f90a4
- homepage: http://jsverify.github.io/ · fetched 2026-08-29 · d890f4d2e953
- registry_npm: https://registry.npmjs.org/jsverify · fetched 2026-08-29 · 2a5b3d321baa
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| jsverify/jsverify | main | 23 |
For agents
markdown · JSON · MCP: product_card(name="jsverify/jsverify")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem