AI Agent Skills

Practical volume computation and sampling in high dimensions

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

Turn any domain folder of skills into a bounded agentic loop: compile a goal into a verifiable task plan, execute tasks with the domain's own tools, verify every task wi…

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…

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…

Compiling real-world structures into verifiable on-chain forms.