A comprehensive CLI tool for ZisK zkVM development with full macOS support. Features project initialization, building, execution, proof generation, environment diagnostics, and project management. This is a personal tool for testing and learning - not an
WASM wrapper for ZisK STARK verifier - verify STARK proofs in browsers and Node.js