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. A hybrid Agent Plugins 1.0.0 plugin (Skill + MCP Server) that verifies code before it is marked done. Zero-dependency, works with Cursor / VS Code / Claude Code / Copilot.

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 插件：代码改动后确认改动的行真的被测试覆盖到

Elenchus MCP Server - Adversarial verification system for code review

Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.

PKCE is used to generate PKCE code verifier and code challenge for OAuth and OIDC authorization code flow.

Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.