reacherhq / check-if-email-exists
Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.
reacherhq / check-if-email-exists
keegan0521 / CinderVM
Deterministic bytecode VM for agent execution - verified images, snapshots and a hash-chained replay journal
Beenish-Tasaffar / Website-Trust-Verifier
—
PrimeIntellect-ai / verifiers
Our library for RL environments + evals
llm-as-a-verifier / llm-as-a-verifier
LLM-as-a-Verifier is a general-purpose framework that provides fine-grained feedback for any agent without requiring additional training. It achieves SOTA performance across coding, robotics, and medical agentic benchmarks.
gpu-verifier / sentryward
Automatic formal verification for warp-specialized GPU kernels.
truemail-rb / truemail
🚀 Configurable framework agnostic plain Ruby 📨 email validator/verifier. Verify email via Regex, DNS, SMTP and even more. Be sure that email address valid and exists.
tlsfuzzer / tlsfuzzer
SSL and TLS protocol test suite and fuzzer
AfterShip / email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
erenciracioglu-dotcom / hermes-self-evolution
A self-evolving harness framework for Hermes Agent. Evolution + Critic + Verifier + Gardener cooperate to make your Hermes instance measurably more useful over time. Generic, MIT-licensed, ships empty.
prusti / prusti
A static verifier for Rust, based on the Viper verification infrastructure.
JetBrains / intellij-platform-gradle-plugin
Gradle plugin for building plugins for JetBrains IDEs
jqno / equalsverifier
EqualsVerifier can be used in Java unit tests to verify whether the contract for the equals and hashCode methods is met.
umuterturk / email-verifier
Privacy-first, Free, Open Source email verifier
camel-ai / loong
🐉 Loong: Synthesize Long CoTs at Scale through Verifiers.
bandr-ai / bandits
Trace mining for post-training. Filter trajectories, draft verifiers, export SFT and RL data.
rushiranpise / sorry-google
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.
wolfiesch / omp-best-of
Best-of-N coding agents with LLM-as-a-Verifier selection for Oh My Pi: isolated git worktrees, verifier-ranked trajectories, winner-only patch application
adamkhalile / luau-docs-oracle
Best Roblox Luau Bug Checker and API Verifier 2026 DevForum MCP Tool
bluejay-ai-dev / mivas-bench
Multi-Industry Voice Agent Simulation Bench (MIVAS) is an indicator of voice AI performance across economic sectors. MIVAS is comprised of tasks and verifiers with granular rewards executed in production-grade multi-agent RL environments across industries where voice AI is being adopted the fastest.
digitaldonusum / vibebreaker
20-pass adversarial audit for vibe-coded software. Injection, IDOR, races, N+1, idempotency, transactions, memory leaks — then a false-positive verifier.
chaterm / Token-Verifier
LLM API Quality & Fidelity Verification Framework
ayles / bpf-capsule
Compile ordinary code to eBPF without shaping it around verifier constraints.
xyzeva / k-id-age-verifier
automatically verify your age on discord, twitch, kick, quora and more (k-id)
Lihonggang-scnu / VeriTMM
Verifier-first transfer-matrix workbench for multilayer optics and differentiable inverse design
jinzijian / EvoTrace
Compile real-world Claude Code and Codex trajectories into verified, tradable post-training assets.
VibeTensor / attestix
AI agent identity, signed credentials, delegated authority and portable governance evidence. Python core and offline verifier SDKs.