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
mvt-project / mvt
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
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.
Javi-vahe / Naro
Lightweight global LiDAR relocalization with offline indexing and online geometric verification.
superwesleyhys-ux / factcircuit
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
Ruanjiaoyang / bmc-dllm
Code for 'Reasoning on the Manifold: Bidirectional Consistency for Self-Verification in Diffusion Language Models' (ICML 2026)
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.
LARK-AI-Lab / SpecAgent
Code for Trajectory-Level Speculation with Semantic Verification for Tool-Using Agents
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.
aigclink / geolook
Open-source end-to-end GEO implementation: status analysis, diagnosis, strategy, tickets, execution, verification
morluto / jacobian
Composable mathematics tools for agents
unionai-oss / pandera
A light-weight, flexible, and expressive statistical data testing library
wenet-e2e / wespeaker
Research and Production Oriented Speaker Verification, Recognition and Diarization Toolkit
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.
canarybyte / veridrop
在线检测：veridrop.app｜AI API 中转站检测工具：Claude 中转站检测、OpenAI 中转站检测、Gemini 中转站检测，中转站真伪检测、长上下文验证、思维签名验证、中转站红黑榜，自托管开源。
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.
cocotb / cocotb
cocotb: Python-based chip (RTL) verification
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.
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
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.
oliver-kriska / claude-elixir-phoenix
Claude Code plugin for Elixir/Phoenix/LiveView — 26 specialist agents, Iron Laws enforcement, and Tidewave MCP integration. Plan features with parallel research agents, execute with automatic verification, review with 4-agent parallel audits, and capture learnings as reusable knowledge.
oxbshw / watch-skill
Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence and proves work with deterministic contracts, not model opinion. DeepWatch is the agent workspace built on DeepSeek Harness. Python + npm, MCP, CLI, REST, Web.
yuedai-pbc / FINESSE-Financial-Reasoning-Agent
Reference implementation of FINESSE: self-reflective multi-agent financial reasoning with dynamic expert routing and ethical verification.
teaql / teaql-agent-kit
A model-driven harness for AI coding agents: semantic modeling, app generation, progressive API Assist and evidence-based verification.
OWASP / masvs
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
chipsalliance / riscv-dv
Random instruction generator for RISC-V processor verification
huytieu / COG-second-brain
Self-evolving second brain with 35 AI skills, 10 agents, and people CRM. Closed-loop harness: a V-model verification lifecycle where the worker never grades its own homework. Plus paired anti-slop design skills for marketing and product UI. Works with Claude Code, Cursor, Kiro, Gemini CLI, Codex.
chunxiaoxx / nautilus-compass
Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered criteria) — by Nautilus Platform
larlarua / AutoCVE
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
mrtooher / fable-mode
A Claude skill that activates Fable-style agentic behavior: explicit multi-stage planning, sub-agent delegation, and self-verification.
zhinkgit / embeddedskills
An open-source collection of embedded development and debugging skills for Claude Code, Copilot, TRAE, and other AI coding assistants that support the Skill protocol. Once installed, the AI assistant can directly operate compilers, debuggers, and communication buses, automating the full workflow from code generation to hardware verification.
FloatingPragma / observer-patch-holography
Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.
Nanako0129 / pilotfish
Multi-model orchestration layer for Claude Code — the frontier model plans, cheaper models execute, verification guards quality. One-prompt install.
pact-foundation / pact-python
Python version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
brayonpi / constellation-gemini
Proof carrying orbital mission control with Gemini, HexStellar Cortex, and independent verification
pysmt / pysmt
pySMT: A library for SMT formulae manipulation and solving
KRLabsOrg / LettuceDetect
Span-level grounding verification for RAG, code, and tool-grounded AI outputs.
tomas-gajarsky / facetorch
Python library for analysing faces using PyTorch
pySTEPS / pysteps
Python framework for short-term ensemble prediction systems.
YosysHQ / sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
federicodeponte / opendraft
Write research paper and literature review drafts with an open-source Python engine that checks citation DOIs against scholarly databases. Export PDF, Word, or LaTeX.
no-human-ai / no_human
From ticket to reviewed pull request. Free and open-source, on your machine.
Tencent / wave-mcp
Open-source, license-free MCP server for RTL waveform debug: reads FST waveforms (VCD/FSDB auto-convert) plus a SystemVerilog netlist, with 34 tools covering driver analysis, value/X tracing, pass-fail waveform diff, a browser wave viewer the agent drives, and pre-simulation static analysis.
Quchaosheng / workbench-mobile-home-robot
Evidence-first runtime for a wheeled mobile household robot with bounded actions, replayable events, and fail-closed verification.
OpenMOSS / OpenETA
An embodied task agent that connects perception, action, verification, and learning in a continuous physical-world loop
sv-number / skills
Give your AI agent a phone number: order a private number in 200+ countries over the API, read the SMS verification code, hand the number back. The widest country coverage in the category, checkable with one API call.
TheJustinSunPrize / awards
Canonical, machine-checkable record of the Justin Sun Prize: rules, awards, candidates, and verification evidence.
daishuge / pcb-skill
Agent skill for taking a hardware idea to a manufacturable PCB: concept, schematic, sourcing, layout, routing, verification, and a purchase staged to the pre-payment page. Drives EasyEDA Pro over MCP from Claude Code or Codex.
SerhiiKorniienko / bullshit-detector
Agent skills that fact-check the internet: claim-by-claim verification with sources and a 0-10 BS score for any YouTube video, article, tweet, or PDF
SecFathy / xss-specialist
KEV-gated continual-learning XSS specialist with execution-authoritative browser verification
MrZoyo / deslop-GPT
Deletion-first Agent Skill for removing test bloat, verification theater, and speculative fallbacks while preserving behavior.
Da7-Tech / SureForge
Agent Skill for complex work: research before asking, ask before planning, plan before building, verify before delivering, independent review before calling it done. Plain text, no runtime.
GGGODLIN / claude-pr-review
Multi-axis PR review orchestration for Claude Code — 5 independent review perspectives, symmetric cross-verification, deterministic coverage assertion
apromisedland / VLCoT
VLCoT research implementation: stage-verifiable latent reasoning, observation-based verification, and dependency-aware local repair.
chrisyangsong / citegate
Citation integrity as a CI gate: verify BibTeX references against Crossref & OpenAlex, catch hallucinated citations, get alerted when a cited paper is retracted.
NocodeMrLi / mini-program-engineering-skill-suite
Mini Program Engineering Skill Suite is an Agent Skill suite for evidence‑first mini‑program development. It helps agents bring WeChat or other mini‑program projects from vague intent to reliable engineering work: project intake, product specification, architecture, implementation, UI & device adaptation, debugging, verification, release readiness.
mhiqrambg / github-regkit-mibp
Automated GitHub account registration toolkit — signup, email verification, first repo, TOTP 2FA with recovery codes, and profile completion. Powered by Camoufox (anti-detect Firefox) + Litensi Mail. Python CLI & React web console.