Search Gradle plugins

Plugin	Latest Version
software.visionary.spex-testing Adds Spex core and the spex JUnit Platform engine to the consuming project's test suite, configured against JUnit Jupiter. Requires that the consumer has applied a JVM plugin (java-library, java, or application) first. #spex #testing #junit #junit-platform #test-engine	2026.05.10 (25 May 2026)
org.bmc4j Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine. #verification #testing #model-checking #formal-methods #jbmc #bmc	0.7.0 (17 June 2026)
io.github.aryapreetam.parikshan Visible end-to-end UI automation engine for Compose Multiplatform #compose #multiplatform #testing #e2e	0.0.2 (01 June 2026)
ch.tutteli.gradle.plugins.spek Applies the junitjacoco plugin and defines Spek as engine. Applies the kotlin plugin and sets up compile and test dependencies. #spek #junit #kotlin	5.0.3 (31 October 2024)
com.anaplan.engineering.vdm A Gradle plugin to parse, type-check, test and publsih a VDM specification. #vdm	3.0.2+4 (19 June 2023)
ch.tutteli.spek Applies the junitjacoco plugin and defines Spek as engine. Applies the kotlin plugin and sets up compile and test dependencies. #spek #junit #kotlin	1.0.0 (17 July 2021)