737 skills found · Page 1 of 25
google / TrillianA transparent, highly scalable and cryptographically verifiable data store.
crev-dev / Cargo CrevA cryptographically verifiable code review system for the cargo (Rust) package manager.
risc0 / Risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
inference-labs-inc / Subnet 2Verifiable inference on Bittensor
open-thought / Reasoning Gym[NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
WeBankBlockchain / WeIdentity基于区块链的符合W3C DID和Verifiable Credential规范的分布式身份解决方案
inference-labs-inc / JSTproveJSTprove - Fast, verifiable AI
openpcc / OpenpccAn open-source framework for verifiably private AI inference
Election-Tech-Initiative / ElectionguardElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
decentralized-identity / VeramoA JavaScript Framework for Verifiable Data
o1-labs / SnarkyOCaml DSL for verifiable computation
mratsim / ConstantineConstantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
kweaver-ai / KweaverKWeaver Core is a harness-first foundation for enterprise decision agents. It turns fragmented data, knowledge, tools, and policies into governed context, safe execution, and verifiable feedback loops. With semantic modeling, real-time access, runtime control, and TraceAI, it helps AI systems reason, adapt, and act reliable in complex enterprises.
decentralized-identity / Did JwtCreate and verify DID verifiable JWT's in Javascript
w3c / Vc Data ModelW3C Verifiable Credentials v2.0 Specification
iotaledger / IdentityImplementation of the Decentralized Identity standards such as DID and Verifiable Credentials by W3C for the IOTA MoveVM.
openwallet-foundation / Credo TsTypescript framework for building decentralized identity and verifiable credential solutions
KodCode-AI / Kodcode✨ A synthetic dataset generation framework that produces diverse coding questions and verifiable solutions - all in one framwork
wshuyi / Deep ResearchDeep Research Methodology (8-step) - Transform vague topics into high-quality research reports with systematic fact extraction and verifiable conclusions
zwhe99 / DeepMathA Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning
