verifier

✅ A Go library for email verification without sending any emails.

[EMNLP'25] s3 - ⚡ Efficient & Effective Search Agent Training via RL for RAG (RLVR for Search with Minimal Data)

SMACK Software Verifier and Verification Toolchain

Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

Minimal stub APKs that block Google from automatically installing or updating unwanted system apps. Each stub declares the same package name as the target app but is signed with a different key, causing a signature mismatch that prevents the original from being pushed.

Compile Solidity source code and verify its bytecode matches the blockchain

Extremely minimal python implementation of the eHN-S protocol.

Check cross-references in repository documents

Cairo-VM STONE STARK Verifier Rust implementation

Application Verifier Dynamic Fault Injection

A verifier for Factorio blueprints, enabling one to automatically check logical properties

GitHub Action for executing the intellij-plugin-verifier

To String Verifier provides an easy and convenient way to test the toString method on your class.

Fullstack Polygon ID verification template for creating VC gated dapps

The spreadsheet toolkit for coding agents - edit, render, calculate, and lint Excel workbooks.

eBPF Certificate Framework

Making eBPF verifier errors as friendly as Rust compiler errors, and let LLM fix it.

Kinde SDK for ExpressJS apps that run on the server

Libraries and examples for integrating verifiable credentials (VC) and mobile driver's licenses (mDL) into mobile apps.

Various forms of distribution for the Starkware Stone prover and verifier