Search Gradle plugins

Plugin Latest Version

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

0.4.0
(09 April 2026)

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

0.4.1
(08 April 2026)

IHub Verification Gradle Plugin

1.9.5
(21 March 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)

Plugin that applies the base capabilities and provides default configuration for the EDC build

1.5.2
(20 April 2026)

Gradle plugin for assembling and attaching reqstool ZIP artifacts

0.1.2
(19 April 2026)