Free DSSE Attestation Online Decoder Tool

Modular attestation monorepo for cilock — 30+ attestors, 9 signers, the rookery builder for custom binaries. The source of the cilock CLI.

GitHub Actions and GitLab CI integration for cilock — wrap any command or downstream action and emit a signed in-toto attestation.

Recipe, gate, and report layer for canonical Assay evidence artifacts: DSSE recipes, replayable digest-bound packs, CI gates.

Cryptographic attestation framework for LLM supply-chain security, tamper-evident provenance for prompts, training data, evaluations, routing, and SLOs with Sigstore keyless signing, OCI distribution, and OPA policy enforcement

a11oy — full orchestrator application (Command Center, Five Superpowers, Warhacker, Observability, Wires, Mesh, Formulas, Evidence, LLM Router). Signed-receipt substrate; receipts.in ≡ receipts.out. SLSA L1 honest · L2 roadmap · Λ = Conjecture 1 · Apache-2.0.

Agent-only x402 service for signed exact-commit evidence on public Agent Skills

Tamper-evident, cryptographically signed audit ledger for AI/LLM outputs. DSSE envelopes, RFC 6962 Merkle proofs, OPA policy-as-code, JWT multi-tenant auth. Go server + Python & TypeScript SDKs.

Dual-Server-Side-Encryption on AWS S3 objects/buckets

Portable evidence attestations: in-toto / DSSE / SARIF from courts and casefiles

Open format for a governed AI inference decision receipt (decision, Λ status, measured-or-null energy, hash chain, DSSE) + a dependency-free offline verifier. Receipt-tier trust: honest, replayable, not zero-knowledge. By SZL Holdings.

Open infrastructure for verifiable Android supply-chain audits, reproducible builds, AOSP testing, and signed evidence reports.

Wrap any LLM guardrail (Llama-Guard / NeMo / guardrails-ai / your callable) and emit a signed, hash-chained DSSE decision receipt — aligned with governed-receipt-spec. UNSIGNED-honest fallback; never fabricates a signature, energy joule, or a Λ 'proven'.

Λ (Lambda-Spine) aggregator universal kernel — weighted geometric mean over axis scores in [0,1] with an ADVISORY governance gate + A1-A4 axiom self-checks. Λ = Conjecture 1 (advisory, uniqueness open) · NOT proven trust. Mirrors HF SZLHOLDINGS/szl-lambda-gate · Apache-2.0.

Live Lean v4.13.0 kernel for the Lutar Invariant — Λ uniqueness as Conjecture 1. 749/14/163, source-mirrored from HF Space SZLHOLDINGS/lean-kernel. Doctrine v11 LOCKED · Apache-2.0.

Open standard and static exchange for portable agents, workflows, loops, and agent teams

Double-signed receipts for tool invocations by AI agents — DSSE + JCS + Ed25519, verifiable offline.

SZL khipu-sda-core — sovereign clean-room anomaly/SDA engine (Domain-Superiority). Signed receipts + Λ-gated honest confidence. Doctrine v11. Clean-room from permissive lineage; inspired by True Anomaly Mosaic (not affiliated).

SZL UDS Zarf bundles for the two products (a11oy + killinchu) and their capability services — airgap-deployable, cosign-signed, SLSA L1+L2. Doctrine v11 LOCKED (749/14/163) · Apache-2.0.

Doctrine-pinned CRDT mesh layered on peat — BFT wiring, 3-of-4 Khipu quorum, seven inventions beyond UDS Fleet. Doctrine v11 LOCKED (749/14/163).