artifact-verification

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

Multi-agent engineering framework: evidence packs, runtime validation, task decomposition, cross-window worker execution, and CI artifact verification for Codex.

Reproducible artifact manifests, sandbox-output verification, and evidence-bundle validation for artifact-heavy workflows.

DeepSeek Harness（dsh）Windows 免安装版：逐包钉死依赖版本，发布前复核官方 CDN 产物的 sha512 | Portable Windows builds of dsh with exact dependency pins and third-party sha512 checks

Consumer-side integrity verification for Ruby gems

Offline-first evidence and verification framework for AI model artifacts, transformations, runtime identity, and provenance.

Reproducible multi-source release evidence for DeepSeek Harness artifacts and mirrors

Native .ctp container runtime and reference implementation of verified-container-spec, with Idris2 proofs for lifecycle properties that are not yet wired into the Rust runtime.

REALM: inspect AI-agent evidence, reproduce its limits, and research independently checkable execution. Rust verifier, Proof Viewer and controlled experiments.

An AI courier uses a real Pine computer to solve seeded challenges, recover from changed inventory, and bring verified artifacts into a hand-drawn world.

Fail-closed admission for Python plugins: inspect inert manifests and refuse unapproved code before import. Artifact trust and Windows isolation are active alpha work.

Run local workflows with artifact checks, resumable steps and an auditable execution ledger.

Human-gated AI creation, approval, preview, and signed artifact verification.

GitHub-native release automation with immutable candidates, verified artifacts, signed promotion, and recoverable publishing.

Checkout-free verifier for ZeroDay release manifests, checksums, and delivery metadata.

Deterministic assemble and verify tooling for bounded artifact sets.

Prepare and verify local model artifacts before a caller starts a managed inference runtime.

Offline release admission gate using DSSE, Ed25519, in-toto attestations, SLSA provenance policies and multi-signature verification.

Validate imported artifacts and record where they may be distributed and what publication evidence exists.

Check Agent Skill release payloads: reproducible ZIPs, Markdown references, installed-file drift and offline reports.