Todas las etiquetas
Etiqueta del catálogo

#verifiable

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

9 registros
Con la etiqueta «verifiable»Ordenado por índice de salud
crates.io
73Buenoíndice de salud
decentralized-identity/didwebvh-rs
A complete Rust implementation of the did:webvh specification
Rust★ 22↓ 15.3K/mes22 ago 2026
Apache-2.022 ago 2026 · métricas 2.10.0
npm
69Buenoíndice de salud
dot-skill/skillerr
Open .skill Protocol - a sealed, inspectable package format for AI agent skills. Reference implementation: skillerr.
TypeScript · JavaScript★ 3↓ 35.3K/mes27 jul 2026
Apache-2.027 jul 2026 · métricas 2.10.0
npm · Go
62Moderadoíndice de salud
metalabel/dfos
Dark Forest OS identity and content protocol, reference implementations, schemas and tests
TypeScript · Go★ 28↓ 9806/mes22 jul 2026
MIT22 jul 2026 · métricas 2.10.0
crates.io
59Moderadoíndice de salud
mikelodder7/vsss-rs
Verifiable Secret Sharing Schemes
Rust★ 94↓ 100.2K/mes22 ago 2026
Apache-2.022 ago 2026 · métricas 2.10.0
crates.io · npm
59Moderadoíndice de salud
trustoverip/dtgwg-trust-tasks-tf
Trust Tasks - Transport Agnostic protocol for managing Tasks
Rust · TypeScript★ 3↓ 27.8K/mes22 ago 2026
Licencia propia22 ago 2026 · métricas 2.10.0
npm · Go
57Moderadoíndice de salud
daily-nerd/vitni
The verifiable trail of agent actions — signed, tamper-evident execution receipts for AI agents (MCP & A2A).
Go · TypeScript · JavaScript★ 1↓ 372/mes17 jul 2026
Apache-2.017 jul 2026 · métricas 2.10.0
PyPI · npm
50Moderadoíndice de salud
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.
Python · HTML★ 0↓ 2768/mes21 ago 2026
MIT21 ago 2026 · métricas 2.10.0
npm
42Débilíndice de salud
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.
HTML · TypeScript★ 0↓ 2100/mes25 jul 2026
MIT25 jul 2026 · métricas 2.10.0