hash-chain

Immutable, scalable, and easy to use ledger service.

Public append-only ledger microservice built with Slim Framework

Chronicle - Verifiable Audit Logging and Append-Only Audit Trails for Laravel.

Audit AI agent tool-call transcripts: hash-chain sealing, deterministic replay, and scope overreach checks. Dependency-free Python CLI.

Fast, deterministic verifier and gate for AI agents: exact math, claim and citation checks, shell/write policy, hash-chained step ledger and a Temporal Router. Local MCP server + CLI in Rust. Preview.

Local, tamper-evident ledger for coding agents — decisions that survive sessions, coordination that survives agents. Works with Claude Code, Cursor, Codex, OpenClaw, and any MCP client.

Lossless, local, provable memory for AI agents: every Claude Code session kept on your own computer, word for word, compressed and sealed, after compaction and after the 30-day transcript deletion. Claude Code first, every model next, then legal and finance. The waitlist, the releases, the website. Steddy Nova SRL.

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.

AI compliance platform that uses RAG to automatically match AI systems to state regulations, generate grounded disclosure documents, and maintain a cryptographically-signed tamper-evident audit trail.

Privacy-first browser attestation framework for anti-bot and anti-AI scraping. Stateless, cryptographic, and Unix-native. Uses Ed25519 heartbeat chains, WASM attestation, and behavioral continuity validation without tracking users, storing IPs, or collecting telemetry.

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).

FCode — a host-governed, durable, auditable agent runtime, with a live console. Built by flowcredit.

Tamper-evident audit trail for Linux process execution. eBPF captures execve, events are SHA-256 hash-chained, shipped to a separate collector, and independently verifiable by anyone holding the file. Educational proof of concept — detection, not prevention.

Inviolate FileMaker logs that live outside the file they audit. Append-only, hash-chained, with a daily AI scan that learns your normal and flags what is not.

Cryptographically verifiable audit trail for AI systems — Ed25519 signed, hash-chained Decision Receipts with ISO 42001 / NIST AI RMF compliance. No blockchain, no SaaS.

证书生命周期管理 + 哈希存证验真系统：FastAPI + Vue 3 + SHA-256 哈希链/测试链存证，扫码验真、撤销补发、审计日志（暑期实训项目）

Signed, append-only decision records for AI coding agents: an MCP server and CLI that hand your team's decisions to Claude Code, Codex, Copilot CLI, Gemini CLI, OpenCode and other MCP hosts, hold the edits a rule governs where the host's hooks allow, and let anyone verify the record offline.

Capture, preserve, and organize web evidence with cryptographic integrity

Low-level JavaScript implementation of the ULDA v1 state-lineage protocol

Learn COBOL through a live banking system — 18 programs, 6-node settlement network, real-time simulation, Python read/write bridge, SHA-256 tamper detection, AI tutor (Ollama + Claude), static analysis with orthogonal call graphs, and a glass morphism web console. 800 tests.