Search Gradle plugins

Plugin Latest Version

Adds a verification task to check whether the version set in the project matches up with the supposed version according to the git commit history.

0.1.6
(17 July 2026)

Registers the crap-java-check verification task for Gradle Java projects.

0.6.1
(31 May 2026)

Registers the cognitive-java-check verification task for Gradle Java projects.

0.6.0
(31 May 2026)

IHub Verification Gradle Plugin

2.0.0-m2
(26 July 2026)

Plugins to ease maven-publish and ivy-publish configuration

23.1.0
(12 March 2026)

Verifies a nebula publication

18.4.0
(28 February 2022)

Verification tasks for Minecraft/Fabric/Meteor dev builds.

0.1.2
(28 January 2026)

A plugin that adds support for compiling and running code in HDL simulators

0.3.0-beta.1
(13 November 2025)

This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central.

0.2.0
(10 January 2025)

Gradle plugin for aggregated Kover coverage with on-device (androidTest) JaCoCo merge and PR-level changed-lines coverage verification

0.0.1
(13 July 2026)