Search Gradle plugins

Verifies a built AAR's emitted consumer floor (Kotlin metadata version, minCompileSdk, minAndroidGradlePluginVersion, bytecode major) against the declared floors.

• #kotlin-metadata
• #aar
• #android
• #compatibility
• #verification
• #library

Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.

• #verification
• #testing
• #model-checking
• #formal-methods
• #jbmc
• #bmc

Applies the Spex testing conventions and adds Spex's Mockito wrappers (the Doubles facade) to the consuming project's test suite, for tests using mocks, spies, stubs, and verifications.

• #spex
• #testing
• #junit
• #mockito
• #test-doubles

Chặn build prod-release nếu AdMob IDs còn trống / sai publisher / dùng Google test ID.

• #android
• #admob
• #ads
• #verification
• #release

Allows to stage the artifacts and vote on them befor the release

• #license
• #verification

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

• #build
• #verification
• #test

Gradle plugin for assembling and attaching reqstool ZIP artifacts

• #reqstool
• #requirements
• #verification
• #testing

Post-quantum integrity verification plugin for Android applications using Merkle trees and ML-KEM (CRYSTALS-Kyber)

• #android
• #security
• #integrity
• #merkle-tree
• #post-quantum
• #ml-kem
• #kyber
• #cryptography

Detects Kotlin metadata version drift in dependencies — the kind of mismatch that compiles fine but can cause runtime incompatibilities. Scans fat JARs, nested archives, and AARs recursively.

• #kotlin
• #android
• #dependencies
• #compatibility
• #metadata
• #verification
• #lint

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

• #systemverilog
• #hdl
• #hardware
• #verification
• #xcelium
• #questasim
• #svunit