A react-native confirmation code field compatible with iOS, Android and Web
Fully customizable iOS UITextField for OTP/Secure code verification
A Python library for verifying code properties using natural language assertions.
SE-CoVe: Software Engineering Chain-of-Verification plugin for Claude Code
CodeNotary JavaScript Client
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.
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
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.
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.
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.
Robust SystemVerilog Linter and Formatter to enhance code quality and ensure standards compliance. Perfect for hardware designers seeking efficient verification and readable code.
The Go! OS snapshot - by Greg Law of Undo Software
Certus is a finetuned model that generates machine-checkable correctness certificates for Python functions, plus a checker that verifies them with counterexample search. 83% of certificates survive Hypothesis testing on unseen code.
🛡️ Automatically catch security vulnerabilities in AI-generated code
Math doesn't hallucinate. Formal verification for AI-generated Python code.
Panda - Agentic AI Code Verification System
Tesis: Lógica de Programación con Dafny
Structural comparison engine for Pencil designs and code
Claude Code Plugin: Technical document review team with Three Reviews & Three Proofreads workflow — 技术文档三审三校审校插件
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."