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
CodeNotary JavaScript Client
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?"
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.
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 插件：代码改动后确认改动的行真的被测试覆盖到
Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.
A CLI tool that verifies AI coding assistant claims against actual structural changes — catching hallucinated functions, fake calls, and missed modifications before they ship.
Elenchus MCP Server - Adversarial verification system for code review
The anti-hallucination gate for AI coding agents — verify before 'done': 9 MCP tools, cross-client hook, CI gate, evidence receipts.
Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.
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."