tamper-evident

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.

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.

A dashcam and emergency brake for AI agents (prototype): a Rust harness that runs agent actions through policy checks and OS sandboxes, and records them in a tamper-evident, signed, independently verifiable audit log.

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

Tamper-evident audit trail for AI agent actions. An MCP gateway that enforces signed Cedar policies, proves who delegated what, and emits evidence packs an auditor can verify offline.

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

Sync-first event sourcing for Rust: append-only segments, causal metadata, policy gates, and typed projections — no async runtime. It's free batteries bro, take 'em!

Trust-aware memory for AI agents: evidence-backed recall, deterministic verdicts, self-inspection, and a tamper-evident local ledger.

Local-first AI agent governance with verifiable, tamper-evident audit trails. Wrap any agent CLI, anchor the journal at an RFC 3161 authority, export evidence anyone can verify. Zero dependencies.

An Open Source Logs Monitoring Platform written in Rust with a Rust, Python, and TypeScript SDK.

Content-addressed database in Rust for AI agent memory. Every write is a Merkle-DAG object with an offline proof, so you can show what an agent retrieved and when. Immutable history, a retrieval audit log, and policy checks at write time. Local-first, no async runtime.

Universal AI Agent Kernel & Terminal Control Center. Rust-based hardened kernel with Vigils security, real-time observability, and tamper-evident audit ledger.

Olympus — a verifiable ledger for sensitive information. Tamper-evident Sparse Merkle Tree ledger with redaction proofs via a Folded Signed Merkle tree, soulbound credentials, and offline-verifiable court evidence. Rust + Tauri 2 desktop app, no servers required............... Pre V1 = Dev Only!!!

Signed, tamper-proof rulebooks for AI agents. Decide what your AI is allowed to do, prove who approved it, and catch any change after the fact — no deep tech knowledge required.

HMAC-SHA256 chained, append-only audit log library — court-defensible, tamper-evident, language-agnostic on-disk format.

A tamper-evident audit built in Rust from IoT devices to cloud services

Evidence format, reference implementation and offline verifier for Sealr — verify a .seal bundle without trusting the vendor.

Local, offline flight recorder for AI coding agents — a tamper-evident, revertible record of every edit and command, that never leaves your machine.