A react-native confirmation code field compatible with iOS, Android and Web

Fully customizable iOS UITextField for OTP/Secure code verification

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.

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.

SE-CoVe: Software Engineering Chain-of-Verification plugin for Claude Code

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.

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.

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.

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

Prove AI-written code, refute it with the exact failing input, or honestly abstain. Never guesses. Runs locally.

🛡️ Automatically catch security vulnerabilities in AI-generated code

Math doesn't hallucinate. Formal verification for AI-generated Python code.

Tesis: Lógica de Programación con Dafny