Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with verifier

A curated list of projects in awesome lists tagged with verifier .

https://github.com/hfiref0x/UACME

Defeating Windows User Account Control

bypass-uac c dll-hijack uac uac-bypass verifier

Last synced: 20 Mar 2025

https://github.com/hfiref0x/uacme

Defeating Windows User Account Control

bypass-uac c dll-hijack uac uac-bypass verifier

Last synced: 09 Apr 2025

https://github.com/aftership/email-verifier

:white_check_mark: A Go library for email verification without sending any emails.

disposable email go smtp validation verification verifier

Last synced: 15 May 2025

https://github.com/AfterShip/email-verifier

:white_check_mark: A Go library for email verification without sending any emails.

disposable email go smtp validation verification verifier

Last synced: 14 Mar 2025

https://github.com/smackers/smack

SMACK Software Verifier and Verification Toolchain

c c-plus-plus llvm rust smt verification verification-toolchain verifier

Last synced: 15 May 2025

https://github.com/baro77/ZKbasicsCS

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

argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp

Last synced: 11 May 2025

https://github.com/ConsenSysDiligence/bytecode-verifier

Compile Solidity source code and verify its bytecode matches the blockchain

bytecode ethereum evm smart-contracts solidity verifier

Last synced: 30 Dec 2025

https://github.com/serokell/xrefcheck

Check cross-references in repository documents

github link-checker markdown verifier

Last synced: 04 Sep 2025

https://github.com/jxy-s/vfdynf

Application Verifier Dynamic Fault Injection

application-verifier debugging-tool fuzzing verifier windows

Last synced: 09 Oct 2025

https://github.com/oceans404/fullstack-polygon-id-vc-gated-dapp

Fullstack Polygon ID verification template for creating VC gated dapps

decentralized-identity did iden3 polygon polygon-id polygonid vc verifiable-credential verifier

Last synced: 17 Jan 2026

https://github.com/alegnani/verifactory

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

factorio rust sat verifier

Last synced: 02 Mar 2026

https://github.com/kinde-oss/kinde-node-express

Kinde SDK for ExpressJS apps that run on the server

express expressjs jwt nodejs verifier

Last synced: 25 Oct 2025

https://github.com/dipdup-io/stone-packaging

Various forms of distribution for the Starkware Stone prover and verifier

binaries docker packages prover stark starknet starkware stone verifier

Last synced: 12 Jan 2026

https://github.com/spruceid/sprucekit-mobile

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

identity mdl ssi verifier wallet

Last synced: 29 Jan 2026

https://github.com/hypermedia-app/hydra-validator

A tool (also website) guarding a Hydra API against possible mistakes

hydra-api verifier

Last synced: 23 Jul 2025

https://github.com/0xcert/verifier-ui

The official 0xcert Verifier website

0xcert erc721 metadata protocol validate validation verifier verify xcert

Last synced: 26 Feb 2025

https://github.com/fenying/wp-passhash.js

A password hash verify tool for WordPress (4.7+) in Node.js.

hash nodejs password verifier wordpress

Last synced: 02 Jul 2025

https://github.com/esbmc/vscode-esbmc

ESBMC Extension for Visual Studio Code

esbmc verifier vscode

Last synced: 10 Mar 2026

https://github.com/davidmytton/url-verifier

🔗 A Go library for URL validation and verification: does this URL actually work?

go golang golang-library url validation verification verifier

Last synced: 12 Apr 2025

https://github.com/cyclone-github/magento_cracker

Magento v2 (argon2id) hash verifier (cracker)

argon argon2 argon2id cracker cyclone hash magento magento2 plum verifier

Last synced: 07 Apr 2025

https://github.com/okm165/swiftness-solana

Cairo-VM Stark Verifier Solana deployment

cairo solana stark verifier zk zkvm

Last synced: 27 Feb 2026

https://github.com/exasol/autogenerated-resource-verifier-java

Java library that allows you to define autogenerated resources in Java.

autogenerated-resources exasol-integration java validator verifier

Last synced: 03 Mar 2025

https://github.com/inaciovasquez2020/urf-core-verifier

Verifier tools and certification suite for Transcript Capacity, Entropy-Depth, and URF invariants.

audit-suite certification-tools entropy-depth transcript-capacity urf-core-verifier verifier

Last synced: 04 Apr 2026

https://github.com/inaciovasquez2020/urf-verifier

URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.

cryptographic-signatures deterministic-builds executable-certificates formal-verification provenance reproducible-research unified-rigidity-framework verifier

Last synced: 04 Apr 2026

https://github.com/abd0r/artificial-neural-mesh

Artificial Neural Mesh (ANM) — A Modular Multi-Model Cognitive Architecture with Controlled Self-Expansion and Web-of-Thought Reasoning.

ai ai-safety artificial-neural-mesh cognitive-architecture episodic-memory llm multi-agent router verifier web-of-thought

Last synced: 29 Apr 2026

https://github.com/yaroslaff/grey-verifier

Verify email(s) using correct SMTP conversations (HELO / MAIL FROM /RCPT TO)

antispam bulk domain email grey greylist greylisting list mail mailfrom maillist rcptto smtp spam validate verifier verify

Last synced: 02 Jan 2026

https://github.com/minodisk/slack-verifier

Verify whether requests from Slack are authentic with a signed secrets using Web API

authentication edge slack v8 verifier webapi

Last synced: 27 Apr 2026

https://github.com/hinanohart/poolcheck

Combinatorial group testing for verifier-cost-limited reasoning: localize defective reasoning steps from ~k*log(n/k) pooled verifier queries under an explicit asymmetric noise model (simulated headline; pre-alpha).

chain-of-thought group-testing llm process-reward reasoning test-time-compute verifier

Last synced: 29 May 2026