#verification

The Standard Webhooks specification

🛩️ Git-native workflow control for coding agents: approved plans, verification, and reviewable evidence for Claude Code, Codex, Cursor, and Aider.

A .NET typesafe implementation of SendGrid's Validation API

The trust layer for people and AI. Portable identity, context, and authorization that travels.

A comprehensive suite of utility libraries for Instantly.ai's API

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

A .NET typesafe implementation of Instantly.ai's Verification API

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

Workflow verification platform — write API tests in TypeScript, run locally or in CI, let AI agents write and repair them

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

idnumbers: Unlocking the power of national ID numbers

Codex-native codebase intelligence: deterministic repo context, change-plan drift review, and verification gating for AI coding agents. Local-first, zero API keys.

ztrack: evidence-gated task tracking for AI agents

Verified Software Toolchain

A Python API for the GNU Privacy Guard (GnuPG). Encrypt, decrypt, sign and verify your data using Python! N.B. This repository has been migrated from Mercurial on 2019-11-16, so references to commits before this date will refer to the Mercurial source and not this Git repository. The migration is marked by a commit that adds a .gitignore file.

Verifiable knowledge graph for scientific experiments

Verification runtime and execution observability for AI-generated web apps.

Fresh-context iterative loop for Claude Code — Leader/Worker/Verifier protocol inspired by Ralph Loop and Codex design-desk

Self-hosted completion gate for coding agents: independent verification before done, durable evidence, CLI and local GUI.

AGLedger™ SDK — Accountability and audit infrastructure for agentic systems. Patent Pending.

Agent Action Capsule — an open SCITT statement profile for recording and verifying what an AI agent did (draft-mih-scitt-agent-action-capsule)

PI Coding Dynamic Workflows

Majik Signature is a hybrid post-quantum content signing and verification library for the Majikah ecosystem. Built on top of Majik Key, it provides tamper-proof, forgery-resistant digital signatures for any content format — using a dual-algorithm architecture that combines classical Ed25519 with post-quantum ML-DSA-87 (FIPS-204).