lean-ctx-main/
node_modules/
src/
test/
tests/
leaderboard/
scripts/
%SystemDrive%/
.github/
.vscode/
.*
out/
AGENTS.md
LEAN-CTX.md
eslint.config.mjs
*.vsix
*.tgz
