$CHEETAH is live!
Type something to search...
Functional, Imperative

Cairo Development with Cheetah AI

Rust-inspired language for Starknet's STARK-based validity proofs

advanced levelStatic typingSince 2020

Cairo Features

Rust-like syntax
STARK proof generation
Felt-based arithmetic
Memory safety
Sierra intermediate
Provable computation

Start Writing Cairo Today

Cheetah AI provides intelligent Cairo code completion and debugging

Get Started Free