#verification

Verification for the agent era. Your coding agent's PR summary cannot lie about its diff - one CI line. Plus the research: the first map of which AI minds can read each other. Every claim machine-verified against committed receipts, negatives included. pip install styxx

A Model Context Protocol (MCP) server and plugin for Tauri v2 development

Rivet — SDLC traceability for safety-critical systems. Schema-driven artifact management, validation, and lifecycle linking. Part of the PulseEngine toolchain.

Claim-driven mutation testing: inject faults and report what your tests miss. Vitest, Jest, Playwright, pytest & unittest. Part of the Guard family with DocGuard and WebSec Validator.

Cryptographic protocol analysis for real-world protocols.

A Rust crate that implements "design by contract" via procedural macros

Verification guards for OpenAI Responses API - Verify AI agent outputs before execution

The PHP SDK for interacting with the Yoti Platform

check links in web documents or full websites

AI agent security harness, adversarial testing: 623 executable tests in the v4.21.3 release, across MCP, A2A, x402/L402, decision governance, benchmark integrity, human-in-the-loop, skill supply chain. Four target shapes: a verdict must be able to be wrong AND to be right. OWASP Agentic v1.1 T1-T17, AIUC-1 19/20 (2026-Q1/Q2 set), NIST AI 800-2.

Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.

RTL Buddy is a Python CLI for Verilog and SystemVerilog regression testing, Verilator and VCS simulation workflows, coverage, and YAML-based RTL verification automation.