Repository navigation

feat: require imported root dependencies in generated workspaces - #8

Merged

kim-em merged 3 commits into

mainfrom

feat/extra-workspace-dependencies

Sep 25, 2026

Commits on Sep 25, 2026

feat: require imported root dependencies in generated workspaces

kim-em
and
claude
committed
eabb0fc
feat: validate selected requires lazily and accept extras over the CLI

kim-em
and
claude
committed
d37dc44
fix: reject unreproducible mathlib requires and invalid problem ids

kim-em
and
claude
committed
bd4a837