GitHub repository: zksecurity/stone-cli
Primary language: Rust
Description: stone-cli is a CLI for proving and verifying Cairo programs.