Here are
8 public repositories
matching this topic...
Spec-driven agent harness for Claude Code and Codex — five-agent pipeline (scope, plan, build, verify, learn) with an auditable proof chain.
Updated
Jun 10, 2026
TypeScript
Link features, claims, tests, and evidence into verifiable releases stored on Walrus.
Updated
Jun 11, 2026
Python
Proof History Chain: Convert single signed proofs into continuous, tamper-evident audit history (REMEDA Stage322).
Updated
May 4, 2026
Python
Steven Chou's GitHub profile README
Updated
Jun 12, 2026
Shell
SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)
Updated
Jun 12, 2026
TypeScript
Trace-first evaluation harness for deciding whether AI agents deserve more tokens, permissions, and trust
Updated
May 16, 2026
Python
SZL Holdings Public Trust Portal — Covenant Proof Standard run artifacts, deterministic replay receipts. Doctrine v11 LOCKED (749/14/163)
Ouroboros bounded-recursion runtime — agentic loops, dual-witness emitters, governance budgets. Doctrine v11 LOCKED (749/14/163)
Updated
Jun 12, 2026
Python
Improve this page
Add a description, image, and links to the
proof-chain
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
proof-chain
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.