Local security audit for AI API relays and LLM proxies: detects prompt injection, model substitution, tool-call rewriting, SSE anomalies, error leakage, and Web3 wallet risks.

Open Source Reliability Harness: Make your agents follow rules. One line of code to‎ ‎enforce, trace, and improve. ‎ ‎

lintlang is a static linter for AI agent configs, tool descriptions, and system prompts that runs zero-LLM quality gating in CI. Catches language-level failures (vague tool descriptions, missing stop conditions, schema gaps) before they reach runtime, with deterministic regex + structural detectors and no model calls.

An open-source Python library designed for developers to calculate fairness metrics and assess bias in machine learning models.

A Python package suite for generating evidence-grade audits of responsible, secure, and trustworthy AI systems.

Production operations framework for AI-powered SaaS. The architectural patterns, failure modes, and operational playbooks that determine whether your AI systems scale profitably or fail expensively.

The flight recorder for AI agents. Tamper-proof, ISO 42001 + HIPAA-compliant audit trails for everything AI agents do on your system. File changes + shell commands + PHI detection + agent identity.

Cryptographic audit receipts for AI coding agents. Ed25519 + Merkle + RFC 3161 TSA. Supports Claude Code, Codex CLI & Cursor.

Tamper-evident cryptographic receipts for AI outputs - offline-verifiable (SHA-256 + Ed25519). Supports EU AI Act Article 12 record-keeping. Prototype of Signet.

PolicyBind is an AI Policy-as-Code platform that enables organizations to govern AI usage through a unified model registry, real-time token-based access control, and automated compliance reporting for frameworks like the EU AI Act and NIST AI RMF.

The Rego policy library for AI compliance: 94 policies covering the EU AI Act, NIST AI RMF, FAA/EASA/ICAO aviation, FERPA, fair lending, and 10+ more frameworks.

hermeneutic is an evidence-first drift gate for AI agents. It mines corrections from your AI chat logs (prior response, user correction, repair), classifies the drift, and runs a cheap-to-expensive pre-flight gate on the next response before drift ships. Regex, then structured scoring, then a pressure probe. MIT, zero dependencies, by Hermes Labs.

Sheldon K. Salmon — AI Reliability Architect. Creator of the AION Constitutional Stack and the CERTUS engine — epistemic scoring that says how much to trust crisis data, and how much to trust the score. Code is open source. The judgment is not.

AION Scaffold — Intelligent tree-to-filesystem generator. Built by Sheldon K. Salmon, AI Reliability Architect. Part of the AION Constitutional Stack. Free forever. No tracking.

Append-only event kernel with Ed25519-signed Merkle checkpoints. Every AI action gets a verifiable receipt.

A free visual learning library for ISO/IEC 42001:2023 - the international standard for ISO/IEC 42001:2023 Artificial intelligence (AI) Management Systems. Reference cards, memory cards and deep dives.

Eticas AI Risk Taxonomy: Open, machine-readable AI risk taxonomy mapped to the EU AI Act, NIST AI RMF, ISO/IEC 42001, and 15+ other frameworks.

RIO Receipt Protocol — Cryptographic proof for AI actions. Open standard for tamper-evident receipts, hash-chained ledgers, and independent verification.

EU AI Act compliance logging standard — structured one-line codes mapping AI reasoning (value, evidence, source hierarchies) to Traceability, Record-keeping, and Incident Reporting obligations under Articles 12, 13, 14, 15, and 73.

一个用 TEE 远程证明和响应签名实现的用户可验证 AI 中转方案。 A user-verifiable AI relay design implemented with TEE remote attestation and response signing.