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.

[ICLR 2026 Oral & ICML 2026 & NeurIPS 2026] Generative Universal Verifier as Multimodal Meta-Reasoner

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

Co-Design Bench: Multimodal Collaborative Coding Evaluation for Agentic Models

Cairo-VM STONE STARK Verifier Rust implementation

Deterministic bytecode VM for agent execution - verified images, snapshots and a hash-chained replay journal

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

Domain Email Record Extractor

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

eBPF Certificate Framework