Defeating Windows User Account Control

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

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

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.

Fullstack Polygon ID verification template for creating VC gated dapps

GitHub Action for executing the intellij-plugin-verifier

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

Kinde SDK for ExpressJS apps that run on the server

Various forms of distribution for the Starkware Stone prover and verifier

Domain Email Record Extractor

Firebase ID tokens verifier.