Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.
Ship AI-agent artifacts, not demo theater — verifier-gated, cross-family runs that learn which model wins.
Abstract Constraint Transformation
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 的一次性交付，转化为组织的长期软件工程资产。
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.
🎓 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.
A CLI tool that verifies AI coding assistant claims against actual structural changes — catching hallucinated functions, fake calls, and missed modifications before they ship.
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.
sonmat (손맛) — Claude Code plugin that builds verification habits into AI-human collaboration
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.
Your AI agent implements the code. Canary Lab proves it works.
Open Source 24/7 Autonomous Agentic AI System
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.
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.
Structured workflows that make LLMs think instead of guess — verification, exploration, feasibility, synthesis and architecture reasoning.
What Praxis is, and how to get access. Documentation only.
To associate your repository with the ai-verification topic, visit your repo's landing page and select "manage topics."