Catch what auditors
catch, before
you ship.
Generate formal invariants for Solana programs.
Feed them into QEDGen to prove your program correct.
$ curl -fsSL https://asklemma.xyz/install.sh | bash
Works with
Claude
*
Welcome to Claude Code!
/help for help, /status for your current setup
cwd: /Users/user
>
? for shortcuts