Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.
Abstract Constraint Transformation
Glass Box Framework — runtime constitutional verification for AI answers. Trust Cards with claim-level reasoning chains, formal ECS scoring, the 7-angle Glassbox Court red team, and deterministic audit logs. MCP-native.
Shepherd is an end-to-end AI Software Engineering platform that supervises the complete software delivery lifecycle—not just code generation, but planning, execution, testing, regression, governance, deployment, and continuous knowledge growth.｜Shepherd 将 AI 的一次性交付，转化为组织的长期软件工程资产。
🎓 Free course on deterministic AI verification and AISecOps. Learn fail-closed AI architecture, formal verification, audit integrity, MCP security, and trust-boundary engineering with QWED-AI.
sonmat (손맛) — Claude Code plugin that builds verification habits into AI-human collaboration
Ship AI-agent artifacts, not demo theater — verifier-gated, cross-family runs that learn which model wins.
Semantic Flow Language (SFL) is a framework that aligns human intent, AI reasoning, and executable logic. It ensures bidirectional synchronization between meaning and code, allowing for reliable, transparent, and verifiable AI-driven development across various environments.
Five Tests Standard (5TS): a vendor-neutral published standard for verifiable AI governance through proof-carrying decisions. Includes schemas, machine-checkable conformance vectors, and a reference validator.
Open Source 24/7 Autonomous Agentic AI System
Your AI agent implements the code. Canary Lab proves it works.
Verifiable onchain memory for trustless AI agents
Records of experiments testing the reproducibility of LLM workloads on datacenter GPUs. Key novelty: Non-associativity is a "fingerprint" of an inference stack and implementation.
Mxsh - A universal shell that eliminates OS barriers. Use any command syntax on any platform with AI-powered security validation.
A Chrome extension that lets you chat with Gemini and Perplexity simultaneously. Type once, send to both, and cross-verify answers between them.
An advanced AI-powered fake news detection system that verifies text, images, and social media posts using Gemini AI, FastAPI, and Next.js. Includes a modern web interface, a lightweight Streamlit app, and a Chrome extension for real-time fake content detection. Built to combat misinformation with explainable AI results and contextual source links.
Structured workflows that make LLMs think instead of guess — verification, exploration, feasibility, synthesis and architecture reasoning.
The missing brain for AI coding agents — verification gates written before the code, Reflexion-style memory that learns from every failure, and self-correction loops with real anchors. One command install for Claude Code; copy-paste prompts for any AI.
Independent verification layer for AI generated coding plans
Factuality Verification Pipeline
Add a description, image, and links to the ai-verification topic page so that developers can more easily learn about it.
To associate your repository with the ai-verification topic, visit your repo's landing page and select "manage topics."