ScalaCheck is a mature, well-crafted library for automated property-based testing in Scala. It provides a rich set of generators (Gen), property combinators (Prop), implicit arbitrary instances (Arbitrary), and shrinking (Shrink) for test case minimization. The library supports stateful testing via the Commands API and includes a deterministic PRNG (Seed). It is cross-compiled for JVM, JavaScript, and Native platforms, and integrates seamlessly with sbt's test framework. The codebase is clean, well-structured, and extensively tested, with active maintenance by the Typelevel organization.