#verification

Evidence-backed proof of done for Claude Code, Codex, Cursor, and other AI coding agents. Run real checks, bind results to current Git state, and know what is ready for human review.

Trust-aware Nostr MCP server for AI agents and humans. Verification, proximity, and access woven into every interaction.

Open-source coding CLI for repository-native, multi-model, verifiable engineering workflows.

Unrar and par2 repair tools

Superagent protects your AI applications against prompt injections, data leaks, and harmful outputs. Embed safety directly into your app and prove compliance to your customers.

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.

Official Python SDK + CLI for the Lenz fact-checking API — extract claims from AI output, assess or verify them, and get sourced verdicts with citations.

ML-DSA-65 signed deploy attestations for the KXCO stack (NIST FIPS 204).

the c4 monorepo

ztrack: evidence-gated task tracking for AI agents

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

React Autocomplete component for Lob Address Autocomplete

Deterministic offline-first TypeScript engine and CLI for hash-linked integrity evidence and auditable diagnostics.

The portable trust harness for AI

JavaScript SDK for easy integration of Reclaim Protocol that enables authenticated web data export via HTTPS and zero-knowledge proofs

Flywheel runs AI tasks with a model you choose and keeps a receipt anyone can recheck offline.

Python Bibliothek und CLI zur Abfrage von Stufe2 UID Prüfungen über Finanz Online

sound abstract interpretation for WebAssembly — the third DO-333 leg of the PulseEngine verification chain

CI/CD verification agent for Mipiti — submit evidence assertions and signed verification results from pipelines.

Verified Software Toolchain

The neutral meter for AI agent work: neither side keeps the count.

idnumbers: Unlocking the power of national ID numbers

File systems verification utility and library, in likeness of mtree(8)

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

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.