crates.io
agentcontextdistributionprotocol/acdp-rs
No repository description published.
Apache-2.0Oct 21, 2026 · metrics 2.10.0
All tags
Catalogue tag
#verifiable
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
11 records
crates.io · npm · Go
trustoverip/dtgwg-trust-tasks-tf
Trust Tasks - Transport Agnostic protocol for managing Tasks
Custom licenseOct 20, 2026 · metrics 2.10.0
crates.io
decentralized-identity/didwebvh-rs
A complete Rust implementation of the did:webvh specification
Apache-2.0Oct 20, 2026 · metrics 2.10.0
npm
blockchain-certificates/jsonld-signatures-merkleproof2019
A jsonld signature implementation to support MerkleProof2019 verification in Verifiable Credential context
MITSep 27, 2026 · metrics 2.10.0
npm · Go
metalabel/dfos
Dark Forest OS identity and content protocol, reference implementations, schemas and tests
MITSep 13, 2026 · metrics 2.10.0
npm
dot-skill/skillerr
Open .skill Protocol - a sealed, inspectable package format for AI agent skills. Reference implementation: skillerr.
Apache-2.0Sep 14, 2026 · metrics 2.10.0
npm
thelabmd/UST-Protocol
RSS for state. Open portable evidence layer for machine state - preserving what an agent or system saw, produced, derived and learned, so another party or future agent can verify the lineage independently.
Apache-2.0Sep 8, 2026 · metrics 2.10.0
npm · Go
Daily-Nerd/vitni
The verifiable trail of agent actions — signed, tamper-evident execution receipts for AI agents (MCP & A2A).
Apache-2.0Sep 10, 2026 · metrics 2.10.0
crates.io
mikelodder7/vsss-rs
Verifiable Secret Sharing Schemes
Apache-2.0Oct 20, 2026 · metrics 2.10.0
PyPI · npm
pofky/provenrail
Guardrails for AI agents, with a receipt. Blocks destructive tool calls before they run and signs every decision into a hash-chained record anyone can verify with an open-source tool.
MITOct 19, 2026 · metrics 2.10.0
npm
srivtx/sports-workbench
Verifiable sports trading workbench for the TxLINE / TxODDS World Cup hackathon. Backtest, signal, and verify on Solana. Free tier, on-chain proof-anchored.
MITSep 13, 2026 · metrics 2.10.0