AI Agent Skills

150+ quantitative finance Python programs to help you gather, manipulate, and analyze stock market data

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

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…

Programs for stock prediction and evaluation