AI Agent Skills

Hummingbird compiles trained ML models into tensor computation for faster inference.

node of the decentralized oracle network, bridging on and off-chain computation

esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.

原样镜像官方 Codex 桌面应用:每 15 分钟探测、SHA256 可校验、国内直连下载、 Mac 可增量更新 | Verbatim, verifiable mirror of the official Codex desktop app — probed every 15 min, with a Sparkle delta-upda…

ElectionGuard 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 fo…

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one p…

MeteoInfo: GIS, scientific computation and visualization environment.

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

Hyli is a confidential yet verifiable financial settlement infrastructure for European regulated actors. It enables regulated institutions to settle, tokenize, and compl…