feat: add `lake shake` command#11921

Draft

kim-em wants to merge 9 commits intomasterfrom

feat/lake-shake

Commits on Jan 9, 2026

feat: add `lake shake` command

authored and
tydeu
committed
fix: add missing prelude to Lake/CLI/Shake.lean

kim-em
authored and
tydeu
committed
refactor: integrate shake options into Lake CLI properly

authored and
tydeu
committed
fix: compare imports by module name in --fix mode

authored and
tydeu
committed
test: add --fix mode verification to shake test

authored and
tydeu
committed
refactor: streamline shake option processing
tydeu
committed
chore: enable Lake tests for PR
tydeu
committed
feat: perform olean check within same lake process
tydeu
committed

Commits on Jan 10, 2026

refactor: address review feedback on lake shake
kim-em
committed