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.

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.

VinceTree / Everpeace

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

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

chrisryugj / korean-law-mcp

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

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.

MichengAI / dsh-pua

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

ballerine-io / ballerine

Open-source infrastructure and data orchestration platform for risk decisioning

adshao / flounder

Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.

philnash / email-verification-api

A library to verify email tokens from the Email Verification API

TheVicky1 / Pact_OS

Personal Productivity & Accountability OS -Turn Intent Into Discipline with server-authoritative commitments, time-blocked planning, and proof-of-work verification.

wingsky-1 / dsh-plugin-hub

DSH (DeepSeek Harness) web GUI plugin collection — task notifications, provider usage, LAN proxy, MCP manager, worktree sidebar, isolated browser verification. Targets dsh release candidates (rc only, no alpha); exact baseline in README. Install: dsh plugin --profile web add @wingsky-1/dsh-plugins-all

Authenticator-Extension / Authenticator

Authenticator generates 2-Step Verification codes in your browser.

quint-co / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

bug0inc / qa-agent

The open-source Playwright library for AI browser regression testing with intelligent caching, auto-healing, and multi-model verification.

keslr / keslr_connect

Connect your service to Keslr: sign in with Keslr and read the verification claim that proves a user is a real, vouched-for human — plus run services reachable only by Keslr members.

argotorg / sourcify

Source code verification service for Ethereum smart contracts

emiliaprotocol / emilia-protocol

Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.

Enderfga / claw-orchestrator

Run Claude Code, Codex, Antigravity, Grok Build and OpenCode behind one runtime, and a run only counts as done when checks it didn't write pass. Cross-engine fan-out, councils, session handoff, spend caps, MCP server, ACP agent.

dash0hq / otelbin

Web-based tool to facilitate OpenTelemetry collector configuration editing and verification

FaceAISDK / FaceRecognition_ReactNative

ReactNative on-device face verification, liveness detection, and face enrollment for Android and iOS.

PerryLink / dsh-research-report

Verifiable research-report engine for DeepSeek Harness: content-addressed evidence ledger (claim-snapshot binding, tamper-evident) plus versioned sealed reports with per-claim verification verdicts and a manifest-sealed directory.

Reality-JH / frontend-promotion-guard

Release gate that catches "green build, healthy container, broken page" deploys: CSS audit, computed-style assertions, screenshot diff, and Docker candidate promotion with verified rollback.

indada / repopilot

Verification-driven AI software iteration, powered by the OpenAI Codex SDK. Self-hosted agents turn goals, GitHub Issues and PR feedback into tested, reviewable changes, with bounded execution and human control over merging and deployment.

PerryLink / dsh-data-quality

DeepSeek Harness plugin: deterministic data profiling, cleaning, and verification (dsh-data-quality)

AnonymousNomad / covert-coder

Covert Coder — a local-first sovereign AI development environment for governed models, workflows, execution, evidence, and verification.

openagentemail / openagentemail

Open communication and task handoffs for AI agents — self-hosted email, task threads, approvals, and webhooks over MCP and REST. Apache-2.0.

ragib01-kuet / protidhwani

Protidhwani: A community-powered safety intelligence platform for reporting incidents, verifying information, accessing emergency support, and staying connected during crises.

mrconter1 / vibemathed

Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset

grizlizora / reverse-cad

⚙️ Industrial-grade pure TypeScript STL ➔ 100% Watertight Solid STEP AP242 B-Rep & CAD Features JSON engine with built-in MCP server for AI agents. Features exact Gauss-Mirtich 3D inertia, ISO threads (M2–M24), boundary unification (no extra lines), Zero-GC speed, DWRR concurrency & 5-gate RSVS reality verification across macOS, Linux, and Windows.

l0gfr / BLACKPROOF-AGPL

BLACKPROOF: local-only cyber evidence preparation and verification, licensed under AGPL-3.0-only.

DevNullInc / RenegadeCMM

A unified desktop app for managing ComfyUI models. Browse and download from CivitAI, auto-organize into folders, track updates, detect duplicates, and handle version management with intelligent routing for SD models, GGUFs, and HuggingFace caches. Features SHA256 verification, resume support, and cross-device settings sync.