✅ 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"

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

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

GitHub Action for executing the intellij-plugin-verifier

Fullstack Polygon ID verification template for creating VC gated dapps

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

Kinde SDK for ExpressJS apps that run on the server

Various forms of distribution for the Starkware Stone prover and verifier

An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.

eBPF Certificate Framework

ISO/IEC 18013-5 Rust implementation

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