immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

Simplifies comparing photos of tamper-evident seals and patterns using your eyes

Scalable and practical Byzantine fault detection middleware for transactional database systems

The scalable, auditable and high-performance tamper-evident log project

Tamper-evident evidence and verification layer for AI agents. Verify any agent's session offline with just openssl. No cloud, no lock-in.

The open protocol for cryptographically sealed audit records of autonomous AI operations. SHA3-256 + Ed25519 + hash chain. Spec, conformance suite, and reference implementations in Python and TypeScript.

Open protocol for signed, verifiable machine decisions. Ed25519 receipts, hash-chained audit trails, in-toto predicate type. 2 IETF Internet-Drafts. Apache-2.0.

ARI — Artificial Reasoning Intelligence. Personal AI operating system with 7-layer architecture, three-pillar cognition (LOGOS/ETHOS/PATHOS), constitutional governance, and tamper-evident SHA-256 audit trails. Local-first. Multi-agent. TypeScript.

https://forgeproof.flyingcloudtech.com

Reference architecture for fail-open, witness-only evidence systems with independent verification and public settlement.

Drop-in cryptographic audit trail for Cloudflare Project Think agents. Every lifecycle hook becomes a tamper-evident, hash-chained receipt anchored to a public ledger no operator controls. HIPAA / EU AI Act / SOC 2 / FedRAMP-grade audit trail at less than a thousandth of a cent per receipt.

Append-only trust layer for AI agent actions with offline verification, tamper detection, and portable proof bundles.

Small playground for ideas and mini-trees for QED

Cryptographic evidence layer for AI agents. Ed25519-signed, SHA-256-chained audit logs anyone can verify offline.

Verifiable cognition for AI agents — a tamper-evident, replayable ledger of what an agent did and why (korg-ledger spec).

An Identity, Security, and Governance Framework for autonomous agents

Tamper-evident audit log for Go: an append-only, hash-chained, optionally Ed25519-signed log/slog handler, with offline logx verify. Built on the standard library, zero third-party dependencies. Also a full slog toolkit (colored output, JSON, rotation, fan-out, CLI).

Capsule Protocol integration for LiteLLM. Automatic cryptographic audit trail for every LLM call.

A police department for your Claude Code agents — a logging-only hook + CLI that audits the main agent and every subagent and reports rule offenses (permission bypass, out-of-scope & credential access, self-permissioning, disallowed tools, redundant, off-task) with quoted evidence. Catch-and-report, never blocks.

Go verifier for the Capsule Protocol Specification (CPS). Canonical JSON, SHA3-256, Ed25519. Passes all 16 golden vectors.