Static Value-Flow Analysis Framework for Source Code
A react-native confirmation code field compatible with iOS, Android and Web
Fully customizable iOS UITextField for OTP/Secure code verification
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
Agent Verifier is a coding agent skill that verifies code against organizational policies, code quality patterns, security requirements, and framework best practices — before code ships. Works with Claude Code, Cursor, Windsurf, and 30+ agents.
A Python library for verifying code properties using natural language assertions.
A CLI-first autonomous coding agent where the actor never grades itself. Every edit is grounded in your repo's real topology and verified by an independent deterministic grader (drift, lint, verify-task, intent) before it ships. Closed-loop: comprehend → plan → execute → critique → replan. Also a passive MCP harness.
SE-CoVe: Software Engineering Chain-of-Verification plugin for Claude Code
Anti-hallucination guardrails for AI coding agents - hybrid Skill + MCP server (6 tools) that verifies code before it is marked done. Works with Claude Code, Cursor, VS Code, Copilot.
CodeNotary JavaScript Client
AI readiness & verification toolkit — measure how ready your codebase is for autonomous AI coding agents, and get a roadmap to autonomy. Plugins for Claude Code, Cursor, Codex.
CodeScope does not understand code. It verifies it. A high-performance code graph engine with MCP protocol for AI agents (Claude/Cursor) to ask "Does the code actually do what you claim?"
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
eslint-ai is an cli tools that help us to lint and view suggestion from ai if we had a code error with eslint support.
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.
变更证明（ChangeProof）— DeepSeek Harness 插件：代码改动后确认改动的行真的被测试覆盖到
A CLI tool that verifies AI coding assistant claims against actual structural changes — catching hallucinated functions, fake calls, and missed modifications before they ship.
Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.
Elenchus MCP Server - Adversarial verification system for code review
PKCE is used to generate PKCE code verifier and code challenge for OAuth and OIDC authorization code flow.
Add a description, image, and links to the code-verification topic page so that developers can more easily learn about it.
To associate your repository with the code-verification topic, visit your repo's landing page and select "manage topics."