https://github.com/cuzzo/easy-vm/blob/master/CLAUDE.md

Typo - "proove". "Prove" only has one O.