evidence-chain

VERITAS OS is an AI agent governance runtime for decision control, policy enforcement, approval workflows, audit trails, and replayable evidence before real-world actions.

Open-source MCP execution-evidence recorder: wraps one upstream MCP server and records what an agent declared, what the proxy observed, and what it reported — a signed local chain for humans to reconcile.

Deterministic firmware-to-exploit evidence engine. Drop a firmware blob, get hash-anchored findings with SARIF + CycloneDX SBOM + verified exploit chains.

ATLAST Protocol — The Trust Layer for the Agent Economy. Make AI agent work verifiable with Evidence Chain Protocol (ECP). Open source · MIT License · weba0.com

Auditable repository maintenance AgentTeam with evidence-backed pull requests, automated code review, and human approval gates.

AI-TDD control plane for requirement contracts and evidence-chain delivery across Cursor, Claude Code, and Codex, built on BMAD + Spec-Kit.

Production-ready TeleAgent Skills for Business Automation - Python

Sistema operativo sperimentale x86_64 con ZDOS Linux, runtime Zlang/ZLB2 ed Evidence Chain verificabile.

Governed AI abuse detection gateway for prompt-decomposition, policy-bypass, cross-session coordination, and capability-assembly attacks. Detects when low-risk fragments combine into restricted output, preserving evidence for human review.

CyberCrew v2.0 - Offline desktop DFIR application. PyQt6 GUI wrapping 26 forensic tools with evidence chain-of-custody, SHA-256 hashing, and automated reporting.

Red Team operation logging workbench — Electron app for recording, timestamping, and organizing pentest evidence in real-time

ANTIMATTERIUM public cold-replay control plane

A zero-authority-by-default execution profile for AI agents, binding every external action to scoped authorization, legal moves, runtime trace, evidence, and immediate revocation.

智批π —— 教师可控的多模态AI作业批改与错因诊断系统 | 希沃智教π赛道开题材料：开题报告/详细设计/行业研究/技术文档/批改样例/可运行Demo

元话·深研 社区版 — 每一条结论，都有证据链。基于 FrontierAgent (Apache 2.0) 的可验证 AI 深度研究工作流社区版

Local-first AI orchestration sandbox for dry-run agents, evidence chains, workspace contracts, and provider-safe validation.

Merkle Chained Event Ledger: a deterministic tamper-evident event ledger for audit trails, evidence systems, and verifiable state history.

Kildespor ('source trail') — deterministic agent building evidence-linked Norwegian company profiles from Brreg open data. Strict identity gates, sha256 evidence chain, zero hallucination by design. Builderr Signalpost entry.

AI-ready business project harness builder for consulting, research, whitepapers, product discovery, workshops, and non-technical team handoffs.

Local-first database diagnostic and governance agent: versioned capability packages, deterministic executors, independent audit, and an auditable evidence chain. Read-only by default.