#Verification
Showing 60 of 84 repositories tagged #verification, ranked by stars
Find, verify, and analyze leaked credentials
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
mocking library for Kotlin
Kani Rust Verifier
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
π GoCaptcha: A high-performance, interactive behavior captcha library for Go. Supporting click, slide, drag-drop, and rotation modes to secure your applications with ease.
HACL*, a formally verified cryptographic library written in F*
Creusot helps you prove your Rust code is correct.
A static verifier for Rust, based on the Viper verification infrastructure.
:white_check_mark: A Go library for email verification without sending any emails.
Verify apps easily.
:email: :white_check_mark: A Fast and Free Email Verification API written in Go
Source code verification service for Ethereum smart contracts
Flutter package to create Pin code input text field with every pixel customization possibility π¨ with beautiful animations, iOS autofill, Android autofill
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Open Source License Key Generation and Verification Tool written in Go
ARCHIVED/MOVED: please visit the new location
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript
πUnified API for password hashing algorithms
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
Vera: a programming language designed for LLMs to write
Home of the Move programming language
By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. δ½ιͺζ΄εε₯½ηζΌεΎιͺθ―ζ§δ»Ά
π‘οΈβοΈ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
ddddocr rust ηζ¬οΌocr_api_server rust ηζ¬οΌδΊθΏεΆηζ¬οΌιͺθ―η θ―ε«οΌδΈδΎθ΅ opencv εΊοΌθ·¨εΉ³ε°θΏθ‘οΌAI MCP ζ―ζοΌa simple OCR API server, very easy to deployγ
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
Governed execution layer for AI coding assistants: clarify intent, route capabilities, review evidence, verify results, and write back lessons across Claude Code, Codex, OpenClaw, and Cursor.
Scilla - A Smart Contract Intermediate Level Language
The Flint Programming Language for Smart Contracts
Reference mobile app for BrightID
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
scores: Metrics for the verification, evaluation and optimisation of forecasts, predictions or models.
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Firebase Spring Boot Rest API Authentication
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
Programming Language for Smart Legal Contracts
A fast SAT solver
Advanced custom authentication for Next.js applications with Auth.js V5. Authentication with providers and credentials.
Neural Network Verification Software Tool https://www.verivital.com Documentation:
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
A toolkit for enforcing logical specifications on neural networks
Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity.
A framework for smart contract verification in Coq
Reviews pull requests for the shortcuts AI coding agents take to look done without being done: relaxed tests, swallowed errors, fake renames, 11 checks in all. Flags them for a human by default, or blocks the merge if you turn that on. Can also turn a goal into a checklist and only accept a patch once every check passes.
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
File systems verification utility and library, in likeness of mtree(8)
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
An async security library for the Sanic framework.
Docker container for creating valid local ssl certificates
Fully customizable UI Component for verification codes written in swift with RxSwift support!
A customisable verification code view to capture OTPs
Standard Subresource Integrity library for Node.js
VerifAI initiative to build open-source easy-to-deploy generative question-answering engine that can reference and verify answers for correctness (using posteriori model)
[Deprecated] Typescript-version of the IN3 client.
π©οΈ Git-native workflow control for coding agents: approved plans, verification, and reviewable evidence for Claude Code, Codex, Cursor, and Aider.
Solidity NFT whitelist contract example using MerkleTree.js for constructing merkle root and merkle proofs.
Customisable OTP view and Passcode view
Suite of tools for retrieving hydrological data and evaluating model output.