Projects in Awesome Lists tagged with proof-chain
A curated list of projects in awesome lists tagged with proof-chain .
https://github.com/vantage-ola/verity
Link features, claims, tests, and evidence into verifiable releases stored on Walrus.
ai-agents cli decentralized-storage memwal proof-chain python python-cli release-tracking single-source-of-truth ssot sui verification walrus
Last synced: 13 Jun 2026
https://github.com/szl-holdings/a11oy
Governed agentic execution fabric. Policy gates, signal mesh, proof ledger, and Λ invariant runtime.
a11oy agent-fabric agentic-execution ai-governance governed-ai policy-gates proof-chain series-a
Last synced: 01 Jun 2026
https://github.com/szl-holdings/ouroboros
Bounded-loop runtime implementing the Lutar Invariant. 172/172 tests passing at v6.2.0. Reference implementation for the Ouroboros Thesis.
ai-governance bounded-recursion convergence proof-chain runtime typescript vitest
Last synced: 17 May 2026
https://github.com/szl-holdings/amaru
Cortex memory + reasoner — every inference cites its source, every memory carries its receipt. Live DSSE-wrapped tick endpoint + 7-chakra runtime. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276
agentic-ai ai-governance amaru anchoring append-only-log attestation data-convergence doctrine-v7 dsse governance governed-ingest proof-chain series-a szl-holdings
Last synced: 02 Jun 2026