youpi-pg / YouPI-PG

A self-hosted UPI & COD payment gateway with zero per-transaction platform fees, universal JavaScript checkout integration, dynamic QR payments, WhatsApp OTP authentication, and automated payment verification.

QAQLeonard / a7c2-fl23-research

FL2/FL3 porting and custom LUT/DCP import tools for Sony A7C II (ILCE-7CM2) firmware 2.01, with backup, installation, readback verification, and restoration workflows. Includes single-camera test results and known limitations.

Faceplugin-ltd / Open-Source-Face-Recognition-SDK

Face Recognition, Face Liveness Detection, Face Anti-Spoofing, Face Detection, Face Landmarks, Face Compare, Face Matching, Face Pose, Face Expression, Face Attributes, Face Templates Extraction, Face Landmarks

fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

opa334 / TrollStore

iOS app that permanently installs IPA files by exploiting a CoreTrust signature verification bug.

mvt-project / mvt

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.

AxiomCodeAI / axiomcodegraph

Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.

gpu-verifier / sentryward

Automatic formal verification for warp-specialized GPU kernels.

1105216375-alt / resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

StonemasonChateau / hoi4-all-dlc-unlocker

Hearts of Iron IV DLC Unlocker Guide 🔓🕹️

Javi-vahe / Naro

Lightweight global LiDAR relocalization with offline indexing and online geometric verification.

NethermindEth / LeanCIL

LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

trufflesecurity / trufflehog

Scans repositories, filesystems, and chats for leaked credentials, then verifies whether each one is still live.

pyannote / pyannote-audio

Neural building blocks for speaker diarization: speech activity detection, speaker change detection, overlapped speech detection, speaker embedding

superwesleyhys-ux / factcircuit

FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.

AeneasVerif / aeneas

A verification toolchain for Rust programs

callstack / agent-device

Mobile app automation and verification for AI coding agents. CLI, MCP server, and typed Node.js API for iOS, Android, HarmonyOS, TV, web, macOS, and Linux.

DorianChn / McArena

Dual-agent ordering-decision arena with a McDonald's China MCP client; labeled scenario-data demo; live calls and schema mapping await token verification.

Ruanjiaoyang / bmc-dllm

Code for 'Reasoning on the Manifold: Bidirectional Consistency for Self-Verification in Diffusion Language Models' (ICML 2026)

reacherhq / check-if-email-exists

Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.

KatrielMoses / MailAccess

Free email OSINT tool, 5000+ platforms, identity clustering, breach detection. No API keys required. pip install mailaccess

MaxHu-xuan / artifactproof

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

VinceTree / Everpeace

A terminal coding agent built with DeepSeek and Windows in mind, featuring sandboxed commands, persistent sessions, and automated code verification.

LARK-AI-Lab / SpecAgent

Code for Trajectory-Level Speculation with Semantic Verification for Tool-Using Agents

jepsen-io / jepsen

A framework for distributed systems verification, with fault injection

lowRISC / ibex

Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)

2akouwu / reverify

Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.

h5i-dev / h5i

An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.

aigclink / geolook

Open-source end-to-end GEO implementation: status analysis, diagnosis, strategy, tickets, execution, verification

morluto / jacobian

Composable mathematics tools for agents

JiahongXu88 / PaperTeam

Evidence-grounded scientific agent system for research automation, citation verification and paper production.

databasus / databasus

PostgreSQL backup tool with Point-In-Time-Recovery and restore verification

unionai-oss / pandera

A light-weight, flexible, and expressive statistical data testing library

OWASP / ASVS

Application Security Verification Standard

model-checking / kani

A model checker for Rust programs.

chrisryugj / korean-law-mcp

법제처 국가법령정보를 LLM에서 바로 조회하는 MCP 서버. 법령·판례·조례 검색과 인용 검증 | MCP server for Korean law — search statutes, precedents, and ordinances, and verify citations

wenet-e2e / wespeaker

Research and Production Oriented Speaker Verification, Recognition and Diarization Toolkit

reticlehq / reticle

AI agents can generate code, but still struggle to understand what they build. Reticle brings Jev-style machine-native runtime perception to web & desktop applications.

PierreGode / Ragnar

Ragnar is a full-stack network verification, troubleshooting, and monitoring suite for wired and Wi-Fi, running on a handheld pocket computer — Raspberry Pi Zero 2W and up across OSI L1–L7, as individual unit or in a mesh.

GrapheneOS / Auditor

Hardware-based attestation and intrusion detection app for Android. It provides both local verification with another Android device via QR codes and optional scheduled server-based verification with support for alert emails. It uses hardware-backed keys and attestation support as the foundation and chains trust to the app for software checks.

canarybyte / veridrop

在线检测：veridrop.app｜AI API 中转站检测工具：Claude 中转站检测、OpenAI 中转站检测、Gemini 中转站检测，中转站真伪检测、长上下文验证、思维签名验证、中转站红黑榜，自托管开源。

poteto / verification-skill-example

Example: project-local verification skill + large-app feature map (fictional Atlas / Harbor Labs)

MichengAI / dsh-pua

DSH PUA — 为 DeepSeek Harness 提供 PUA 任务推进、角色风味、验收循环和运行状态卡片 · PUA task persistence, personas, verification loops, and live status cards for DeepSeek Harness

alphacep / vosk-api

Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node

AmazingAng / WTF-Solidity

WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy

speechbrain / speechbrain

A PyTorch-based Speech Toolkit

Abdess / retrobios

Source-verified BIOS and firmware packs for RetroArch, Batocera, Recalbox, Lakka, RetroPie, EmuDeck, RetroBat, RetroDECK, RomM, BizHawk, ROCKNIX, and MiSTer FPGA. Platform-native verification, with emulator source code as the deciding authority.

RobotLocomotion / drake

Model-based design and verification for robotics.

tlaplus / tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

FStarLang / FStar

A Proof-oriented Programming Language

cocotb / cocotb

cocotb: Python-based chip (RTL) verification

ballerine-io / ballerine

Open-source infrastructure and data orchestration platform for risk decisioning

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

OpenAdaptAI / OpenAdapt

For EHRs, payer portals, and any app your team clicks through. A person or an agent shows the task; OpenAdapt turns it into a local program that repeats the steps with no model calls, checks each save, and stops when something doesn't match.

pulp-platform / axi

AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

brayonpi / hexstellar

Turn any AI agent into a computational researcher. HexStellar Cortex delivers software-accelerated optimization, quantum computing, scientific computing, decision intelligence, and verifiable execution through a Python CLI and API—with certainty labels, verification receipts, examples, and a free sandbox. Start instantly: pip install hexstellar

helloyanis / age-verification-bypass

Extension to bypass age verification on some websites

berkeley-abc / abc

ABC: System for Sequential Logic Synthesis and Formal Verification

feitangyuan / motion-web

Build motion-first, high-touch creative websites on vanilla Three.js / Canvas 2D / WebGL / CSS. A Claude Agent Skill with real physics and automated verification.

nealbridges / VulnHunter

Agentic AI security scanner that hunts exploitable vulnerabilities like an adversary, proves them with executable PoCs, and fixes them test-first. A maintained fork of Capital One's VulnHunter, rebuilt for any agent harness.