$CHEETAH is live!
Type something to search...
Stack-based

Michelson Development with Cheetah AI

Stack-based language for Tezos smart contracts

advanced levelStatic, Strong typingSince 2018

Michelson Features

Stack-based
Strongly typed
Formal verification
No hidden costs
Deterministic execution
Human-readable

Start Writing Michelson Today

Cheetah AI provides intelligent Michelson code completion and debugging

Get Started Free