verifiability

Decentralized governance for Git communities

A list of tools and methods for building trustworthy software following TrustOps principles.

Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.

Course project on prompt engineering for automated verifiability checking of online user comments.

A research agent harness that measures what it claims. Evidence DAGs, credence propagation, replayable runs.

A library to use interval arithmetic on PyTorch's models. It can also generate a PVS theory. It can also use Statistical Model Analysis

Others ship conversations, we ship reproducible conclusions. A zero-dependency agent delivery-package format and toolchain: 12 verifiable scenarios organised by delivery form, 22 model providers, replay-verifiable conclusions, and every package can be served as an MCP server.

A practical guide for independent artist-researchers: how to make your work verifiable without an institution behind you. The documentation apparatus that substitutes for the institutional imprimatur.

Flight recorder for AI agents: every run becomes a hash-verified proof bundle stored on Walrus Mainnet and anchored on Sui Mainnet

Readme

Accountability contour of the Public Ledger party: publication gate, append-only correction ledger, published methods, one-command verification (bash scripts/verify.sh). Reproducible without credentials.

A secure, privacy-preserving voting system built with Go, featuring zero-knowledge proofs and homomorphic tallying for absolute vote privacy and public verifiability.

The nine Syntropy holons: substrate components that make AI agent systems verifiable. English primary, Spanish as _ES.md

Redfish secures DeFi liquidity using Uniswap v4 Hooks and EZKL-powered ZKML to detect anomalies in real-time, enriched by verifiable Etherscan history via vlayer ZK-TLS.

Verifiable, tamper-evident receipts for RAG answers. Merkle inclusion proofs and Ed25519 signatures.