feat: add `lake check` to check a project against external checkers - #14990

Open

Kha wants to merge 3 commits into

Commits on Sep 2, 2026

feat: add a `modules` facet to packages

Kha
and
claude
committed
dd2c9f3
feat: add `lake check` to check a project against the kernel

Kha
and
claude
committed
f4e4524
refactor: build and export `lake check`'s project in one sandboxed process

Kha
and
claude
committed
98b73a0