MathCode v0.1.0

release: update bootstrap repo for MathCode v0.0.3

- TypeScript-native AUTOLEAN (no Python runtime needed)
- Updated setup.sh: downloads binary from GitHub Releases, cleans legacy AUTOLEAN on upgrade
- Updated .env.example: new features (REPL, LSP, agent-prove, tree-prove, theorem-store, axiom-lib)
- Updated READMEs: new features documentation (EN + ZH)
- New directories: tools/, skills/, plugins/, bin/
- Lean workspace: v4.30.0-rc1, lakefile.toml with VaultLibs support