chore: rename lean-spec → leanspec / @leanspec/cli (Part of codervisor/leanspec#254)

[tikazyq]

Summary

Sync this docs site to the upstream codebase rename in codervisor/leanspec#254. The product repo, the CLI binary, the npm package, the MCP config key, and the public agent skill all changed — this PR updates every reference across en + zh-Hans content so the published docs (and the live lean-spec.dev site) stop pointing at the deprecated names.

What did and didn't rename

Asset	Form here
GitHub repo	codervisor/leanspec (https://github.com/codervisor/leanspec/...)
CLI command	leanspec <subcommand>
npm CLI package	@leanspec/cli
npm MCP package	@leanspec/mcp
MCP config key	"leanspec"
Public skill	npx skills add codervisor/leanspec@leanspec
Domain	lean-spec.dev — unchanged (leanspec.dev is owned by a third party)
This repo's slug	lean-spec-docs — unchanged
codervisor/lean-spec-desktop	unchanged (separate repo)
.lean-spec/config.json	unchanged (project config directory)

Substitutions applied (ordered, en + zh-Hans content + config)

• GitHub URLs: codervisor/lean-spec → codervisor/leanspec (with negative lookahead so lean-spec-docs / lean-spec-desktop are left alone)
• npm install: npm install -g lean-spec → npm install -g @leanspec/cli (and npx / npm install variants)
• MCP via npx: npx -y lean-spec mcp → npx -y @leanspec/mcp
• Generic CLI npx: npx -y lean-spec <cmd> → npx -y -p @leanspec/cli leanspec <cmd>
• MCP config keys: "lean-spec": → "leanspec": (including multi-project variants like "lean-spec-projectA")
• Bare CLI: \blean-spec(?= [a-z<-]) → leanspec (handles lean-spec board, lean-spec --help, lean-spec <command>)
• Inline `lean-spec` → `leanspec`
• Anchor links: #lean-spec-<cmd> → #leanspec-<cmd> (to match the now-renamed ### \leanspec `headings inreference/cli.mdx`)
• docusaurus.config.ts: projectName, editUrl for docs + blog, footer GitHub/Issues/Discussions/Contributing/Changelog links, npm package link
• Footer translations in i18n/zh-Hans/docusaurus-theme-classic/footer.json
• AGENTS.md (top-level)
• One-off prose fixes that the regex didn't catch (e.g. cd lean-spec, which lean-spec, the Direct lean-spec Command heading, the directory-tree example lean-spec/ line in development.mdx, the migration-guide sed example, blog link text)

Verification

• ./node_modules/.bin/tsc --noEmit → clean
• pnpm validate:mdx → 51/51 files pass
• ./node_modules/.bin/docusaurus build → succeeds for both en and zh-Hans (config has onBrokenLinks: 'throw', so any broken internal anchor would have failed the build)
• Final grep for unwanted lean-spec references → zero leftovers outside the explicit allowlist (lean-spec.dev, lean-spec-docs, lean-spec-desktop, .lean-spec/)

82 files changed, 1,393 insertions / 1,393 deletions — a clean character-for-character swap with no growth.

Test plan

• tsc --noEmit clean
• validate:mdx clean (51/51)
• docusaurus build clean for en + zh-Hans
• zero leftover stale references
• After merge + deploy: live lean-spec.dev shows updated install commands, anchors resolve, footer links go to codervisor/leanspec

🤖 Generated with Claude Code