tamper-evident

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

The open‑source AI Agents Governance & Orchestration framework: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run

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

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

Scalable and practical Byzantine fault detection middleware for transactional database systems

A coding agent whose claims about its own work resolve to machine-captured evidence: an append-only hash-chained ledger, gates that retry under a numeric ratchet, and a signed bundle carrying its own verifier that anyone can check offline.

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

Tamper-evident audit trails for AI agents: hash-chained Runtime Records, dependency-free, verifiable by anyone.

Laravel audit log & change history with real actor attribution (user / job / command / scheduler), cross-model change traces, time machine, tamper-evident hash chain, GDPR reports, anomaly detection, Slack/webhook alerts, multi-tenancy and an optional dashboard.

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

A local-first agent memory lifecycle engine: typed memories in an append-only, integrity-chained log with dedupe, conflict detection, forgetting, compaction, verification, query, and portable export.

Tamper-evident evidence infrastructure for AI agents. Capture, seal, verify, and audit AI decisions in a single portable .epi file.

Open-source governance infrastructure for AI-assisted legal work

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.

AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts anyone can verify offline.

Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently verifiable offline. Pure Rust.

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.

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.

Rootsign is an open-source tamper-evident decision and action provenance logging library for AI agents

Cryptographic receipts that prove an AI output was not altered. Offline verification in 21 lines, no server or account. Ed25519 + SHA-256, 128-byte Rust core, optional ML-DSA-65 post-quantum signatures. Python and Rust.