@leanspec/cli 0.3.0

package/README.md

@@ -0,0 +1,267 @@
+# LeanSpec
+
+<p align="center">
+  <img src="https://github.com/codervisor/lean-spec-docs/blob/main/static/img/logo-with-bg.svg" alt="LeanSpec Logo" width="120" height="120">
+</p>
+
+<p align="center">
+  <a href="https://github.com/codervisor/lean-spec/actions/workflows/ci.yml"><img src="https://img.shields.io/github/actions/workflow/status/codervisor/lean-spec/ci.yml?branch=main" alt="CI Status"></a>
+  <a href="https://www.npmjs.com/package/lean-spec"><img src="https://img.shields.io/npm/v/lean-spec.svg" alt="npm version"></a>
+  <a href="https://www.npmjs.com/package/lean-spec"><img src="https://img.shields.io/npm/dm/lean-spec.svg" alt="npm downloads"></a>
+  <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License"></a>
+</p>
+
+<p align="center">
+  <a href="https://www.lean-spec.dev"><strong>Documentation</strong></a>
+  •
+  <a href="https://www.lean-spec.dev/zh-Hans/docs/guide/"><strong>中文文档</strong></a>
+  •
+  <a href="https://web.lean-spec.dev"><strong>Live Examples</strong></a>
+  •
+  <a href="https://www.lean-spec.dev/docs/tutorials/first-spec-with-ai"><strong>Tutorials</strong></a>
+</p>
+
+---
+
+**The tool-agnostic spec framework. Use any spec backend — your workflow, your rules.**
+
+LeanSpec is a spec coding framework that works with whatever spec workflow you already use. GitHub Issues for personal projects, ADO Work Items for enterprise, Jira, Linear, or plain markdown — LeanSpec provides the unified interface, AI integration, and intelligence layer on top.
+
+---
+
+## Quick Start
+
+```bash
+# Markdown specs (default — works out of the box)
+npm install -g @leanspec/cli && leanspec init
+
+# Or try with a tutorial project
+npx -p @leanspec/cli leanspec init --example dark-theme
+cd dark-theme && npm install && npm start
+```
+
+**Configure your spec backend:**
+
+```yaml
+# leanspec.provider.yaml
+
+# Option 1: Markdown files (default, zero config)
+provider: markdown
+directory: specs
+
+# Option 2: GitHub Issues as specs
+# provider: github
+# owner: myuser
+# repo: myproject
+
+# Option 3: Azure DevOps Work Items as specs
+# provider: ado
+# organization: mycompany
+# project: myproject
+```
+
+**Visualize your project (works with any backend):**
+
+```bash
+leanspec board    # Kanban view
+leanspec stats    # Project metrics
+leanspec ui       # Web UI at localhost:3000
+```
+
+**Next:** [Your First Spec with AI](https://www.lean-spec.dev/docs/tutorials/first-spec-with-ai) (10 min tutorial)
+
+---
+
+## Why LeanSpec?
+
+**Your workflow, not ours.** Other SDD frameworks force you to adopt their spec format and tooling. LeanSpec adapts to whatever you already use:
+
+- **Tool-agnostic** - GitHub Issues, ADO, Jira, Linear, Notion, or plain markdown
+- **One interface** - Same CLI, MCP, and UI regardless of backend
+- **AI-native** - Structured spec data for any AI coding assistant
+- **Fast iteration** - Living documents that grow with your code
+- **Context economy** - Small specs (<2K tokens) = better AI output
+
+📖 [Compare with Spec Kit, OpenSpec, Kiro →](https://www.lean-spec.dev/docs/guide/why-leanspec)
+
+---
+
+## AI Integration
+
+Works with any AI coding assistant via MCP or CLI:
+
+```json
+{
+  "mcpServers": {
+    "leanspec": { "command": "npx", "args": ["@leanspec/mcp"] }
+  }
+}
+```
+
+**Compatible with:** VS Code Copilot, Claude Code, Gemini CLI, Cursor, Windsurf, Kiro CLI, Kimi CLI, Qodo CLI, Amp, Trae Agent, Qwen Code, Droid, and more.
+
+📖 [Full AI integration guide →](https://www.lean-spec.dev/docs/guide/usage/ai-coding-workflow)
+
+---
+
+## Spec Providers
+
+LeanSpec connects to your existing spec workflow through a provider architecture:
+
+| Provider | Backend | Status |
+|----------|---------|--------|
+| `markdown` | Local `specs/` directory (default) | **Available** |
+| `github` | GitHub Issues + Projects | Planned |
+| `ado` | Azure DevOps Work Items | Planned |
+| `jira` | Jira tickets | Future |
+| `linear` | Linear issues | Future |
+
+Core LeanSpec concepts map naturally to each backend:
+
+| Concept | GitHub Issues | ADO Work Items | Markdown |
+|---------|--------------|----------------|----------|
+| Spec ID | Issue number | Work Item ID | Directory name |
+| Status | Labels | State field | Frontmatter |
+| Priority | Labels | Priority field | Frontmatter |
+| Tags | Labels | Tags | Frontmatter |
+| Assignee | Assignees | Assigned To | Frontmatter |
+| Content | Issue body | Description | Markdown body |
+
+📖 [Provider architecture →](https://www.lean-spec.dev/docs/guide/providers)
+
+---
+
+## Agent Skills
+
+Teach your AI assistant the Spec-Driven Development methodology:
+
+```bash
+# Install the leanspec skill
+npx skills add codervisor/lean-spec@leanspec
+```
+
+This installs the **leanspec** skill which teaches AI agents:
+- When to create specs vs. implement directly
+- How to discover existing specs before creating new ones
+- Best practices for context economy and progressive disclosure
+- Complete SDD workflow (Discover → Design → Implement → Validate)
+
+**Compatible with:** Claude Code, Cursor, Windsurf, GitHub Copilot, and other [Agent Skills](https://skills.sh/) compatible tools.
+
+📖 [Skill source →](skills/leanspec/SKILL.md)
+
+---
+
+## Features
+
+| Feature             | Description                                                                                       |
+| ------------------- | ------------------------------------------------------------------------------------------------- |
+| **📊 Kanban Board**  | `leanspec board` - visual project tracking                                                        |
+| **🔍 Smart Search**  | `leanspec search` - find specs by content or metadata                                             |
+| **🔗 Dependencies**  | Track spec relationships with `depends_on` and `related`                                          |
+| **🎨 Web UI**        | `leanspec ui` - browser-based dashboard                                                           |
+| **📈 Project Stats** | `leanspec stats` - health metrics and bottleneck detection                                        |
+| **🤖 AI-Native**     | MCP server + CLI for AI assistants                                                                |
+| **🖥️ Desktop App**   | Desktop app repo: [codervisor/lean-spec-desktop](https://github.com/codervisor/lean-spec-desktop) |
+
+<p align="center">
+  <img src="https://github.com/codervisor/lean-spec-docs/blob/main/static/img/ui/ui-board-view.png" alt="Kanban Board View" width="800">
+</p>
+
+---
+
+## Requirements
+
+### Runtime
+- **Node.js**: `>= 20.0.0`
+- **pnpm**: `>= 10.0.0` (preferred package manager)
+
+### Development
+- **Node.js**: `>= 20.0.0`
+- **Rust**: `>= 1.70` (for building CLI/MCP/HTTP binaries)
+- **pnpm**: `>= 10.0.0`
+
+**Quick Check:**
+```bash
+node --version   # Should be v20.0.0 or higher
+pnpm --version   # Should be 10.0.0 or higher
+rustc --version  # Should be 1.70 or higher (dev only)
+```
+
+---
+
+## Desktop App
+
+The desktop application has moved to a dedicated repository:
+
+- https://github.com/codervisor/lean-spec-desktop
+
+Use that repository for desktop development, CI, and release workflows.
+
+---
+
+## Developer Workflow
+
+Common development tasks using `pnpm`:
+
+```bash
+# Development
+pnpm install             # Install dependencies
+pnpm build               # Build all packages
+pnpm dev                 # Start dev mode (UI + Core)
+pnpm dev:web             # UI only
+pnpm dev:cli             # CLI only
+
+# Testing
+pnpm test                # Run all tests
+pnpm test:ui             # Tests with UI
+pnpm test:coverage       # Coverage report
+pnpm typecheck           # Type check all packages
+
+# Rust
+pnpm rust:build          # Build Rust packages (release)
+pnpm rust:build:dev      # Build Rust (dev, faster)
+pnpm rust:test           # Run Rust tests
+pnpm rust:check          # Quick Rust check
+pnpm rust:clippy         # Rust linting
+pnpm rust:fmt            # Format Rust code
+
+# CLI (run locally)
+pnpm cli board           # Show spec board
+pnpm cli list            # List specs
+pnpm cli create my-feat  # Create new spec
+pnpm cli validate        # Validate specs
+
+# Documentation
+pnpm docs:dev            # Start docs site
+pnpm docs:build          # Build docs
+
+# Release
+pnpm pre-release         # Run all pre-release checks
+pnpm prepare-publish     # Prepare for npm publish
+pnpm restore-packages    # Restore after publish
+```
+
+See [package.json](package.json) for all available scripts.
+
+---
+
+## Documentation
+
+📖 [Full Documentation](https://www.lean-spec.dev) · [CLI Reference](https://www.lean-spec.dev/docs/reference/cli) · [First Principles](https://www.lean-spec.dev/docs/advanced/first-principles) · [FAQ](https://www.lean-spec.dev/docs/faq) · [中文文档](https://www.lean-spec.dev/zh-Hans/)
+
+## Community
+
+💬 [Discussions](https://github.com/codervisor/lean-spec/discussions) · 🐛 [Issues](https://github.com/codervisor/lean-spec/issues) · 🤝 [Contributing](CONTRIBUTING.md) · 📋 [Changelog](CHANGELOG.md) · 📄 [LICENSE](LICENSE)
+
+---
+
+### Contact Me | 联系我
+
+If you find LeanSpec helpful, feel free to add me on WeChat (note "LeanSpec") to join the discussion group.
+
+如果您觉得 LeanSpec 对您有帮助，欢迎添加微信（备注 "LeanSpec"）加入交流群。
+
+<p align="center">
+  <img src="https://github.com/codervisor/lean-spec-docs/blob/main/static/img/qr-code.png" alt="WeChat Contact | 微信联系" height="280">
+</p>

package/bin/lean-spec-rust.js

@@ -0,0 +1,201 @@
+#!/usr/bin/env node
+/**
+ * LeanSpec CLI Binary Wrapper
+ * 
+ * This script detects the current platform and architecture,
+ * then spawns the appropriate Rust binary with the provided arguments.
+ * 
+ * The wrapper looks for binaries in the following locations:
+ * 1. Rust target/debug binary (for local development)
+ * 2. Rust target/release binary (for local development)
+ * 3. Platform-specific npm package (lean-spec-darwin-x64, etc.)
+ * 4. Local binaries directory (fallback)
+ */
+
+import { spawn } from 'child_process';
+import { createRequire } from 'module';
+import { fileURLToPath } from 'url';
+import { dirname, join } from 'path';
+import { accessSync, openSync, readSync, closeSync } from 'fs';
+
+const require = createRequire(import.meta.url);
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+
+// Debug mode - enable with LEANSPEC_DEBUG=1
+const DEBUG = process.env.LEANSPEC_DEBUG === '1';
+const debug = (...args) => DEBUG && console.error('[lean-spec debug]', ...args);
+
+// Platform detection mapping
+const PLATFORM_MAP = {
+  darwin: { x64: 'darwin-x64', arm64: 'darwin-arm64' },
+  linux: { x64: 'linux-x64' },
+  win32: { x64: 'windows-x64' }
+};
+
+const MACHO_MAGICS = new Set([
+  0xfeedface,
+  0xfeedfacf,
+  0xcefaedfe,
+  0xcffaedfe,
+  0xcafebabe,
+  0xbebafeca,
+]);
+
+function readHeaderBytes(filePath) {
+  const fd = openSync(filePath, 'r');
+  try {
+    const buffer = Buffer.alloc(4);
+    const bytesRead = readSync(fd, buffer, 0, 4, 0);
+    return bytesRead === 4 ? buffer : null;
+  } finally {
+    closeSync(fd);
+  }
+}
+
+function isValidBinaryHeader(filePath, platform) {
+  try {
+    const header = readHeaderBytes(filePath);
+    if (!header) return false;
+
+    if (platform === 'linux') {
+      return header[0] === 0x7f && header[1] === 0x45 && header[2] === 0x4c && header[3] === 0x46;
+    }
+
+    if (platform === 'win32') {
+      return header[0] === 0x4d && header[1] === 0x5a;
+    }
+
+    if (platform === 'darwin') {
+      const magicBE = header.readUInt32BE(0);
+      const magicLE = header.readUInt32LE(0);
+      return MACHO_MAGICS.has(magicBE) || MACHO_MAGICS.has(magicLE);
+    }
+
+    return false;
+  } catch (error) {
+    debug('Failed to read binary header:', error.message);
+    return false;
+  }
+}
+
+function isExecutableBinary(filePath, platform) {
+  if (!isValidBinaryHeader(filePath, platform)) {
+    debug('Invalid binary header:', filePath);
+    return false;
+  }
+  return true;
+}
+
+function getBinaryPath() {
+  const platform = process.platform;
+  const arch = process.arch;
+  
+  debug('Platform detection:', { platform, arch });
+  
+  const platformKey = PLATFORM_MAP[platform]?.[arch];
+  if (!platformKey) {
+    console.error(`Unsupported platform: ${platform}-${arch}`);
+    console.error('Supported: macOS (x64/arm64), Linux (x64), Windows (x64)');
+    process.exit(1);
+  }
+
+  const isWindows = platform === 'win32';
+  const binaryName = isWindows ? 'lean-spec.exe' : 'lean-spec';
+  const packageName = `@leanspec/cli-${platformKey}`;
+  
+  debug('Binary info:', { platformKey, binaryName, packageName });
+
+  // Try rust/target/debug directory first (for local development with `pnpm build:rust`)
+  try {
+    const rustDebugPath = join(__dirname, '..', '..', '..', 'rust', 'target', 'debug', binaryName);
+    debug('Trying rust debug binary:', rustDebugPath);
+    accessSync(rustDebugPath);
+    if (isExecutableBinary(rustDebugPath, platform)) {
+      debug('Found rust debug binary:', rustDebugPath);
+      return rustDebugPath;
+    }
+    debug('Rust debug binary is invalid:', rustDebugPath);
+  } catch (e) {
+    debug('Rust debug binary not found:', e.message);
+  }
+
+  // Try rust/target/release directory (for local development with `pnpm build:rust:release`)
+  try {
+    const rustTargetPath = join(__dirname, '..', '..', '..', 'rust', 'target', 'release', binaryName);
+    debug('Trying rust release binary:', rustTargetPath);
+    accessSync(rustTargetPath);
+    if (isExecutableBinary(rustTargetPath, platform)) {
+      debug('Found rust release binary:', rustTargetPath);
+      return rustTargetPath;
+    }
+    debug('Rust release binary is invalid:', rustTargetPath);
+  } catch (e) {
+    debug('Rust release binary not found:', e.message);
+  }
+
+  // Try to resolve platform package
+  try {
+    const resolvedPath = require.resolve(`${packageName}/${binaryName}`);
+    if (isExecutableBinary(resolvedPath, platform)) {
+      debug('Found platform package binary:', resolvedPath);
+      return resolvedPath;
+    }
+    debug('Platform package binary is invalid:', resolvedPath);
+  } catch (e) {
+    debug('Platform package not found:', packageName, '-', e.message);
+  }
+
+  // Try local binaries directory (fallback)
+  try {
+    const localPath = join(__dirname, '..', 'binaries', platformKey, binaryName);
+    debug('Trying local binary:', localPath);
+    accessSync(localPath);
+    if (isExecutableBinary(localPath, platform)) {
+      debug('Found local binary:', localPath);
+      return localPath;
+    }
+    debug('Local binary is invalid:', localPath);
+  } catch (e) {
+    debug('Local binary not found:', e.message);
+  }
+
+  console.error(`Binary not found for ${platform}-${arch}`);
+  console.error(`Expected package: ${packageName}`);
+  console.error('');
+  console.error('Detected missing or corrupted binary.');
+  console.error('If you installed globally, reinstall to restore the binary:');
+  console.error('  npm uninstall -g lean-spec && npm install -g lean-spec');
+  console.error('');
+  console.error('If your npm config omits optional dependencies, enable them and reinstall.');
+  console.error('');
+  console.error('To install:');
+  console.error('  npm install -g lean-spec');
+  console.error('');
+  console.error('If you installed globally, try:');
+  console.error('  npm uninstall -g lean-spec && npm install -g lean-spec');
+  process.exit(1);
+}
+
+// Execute binary
+const binaryPath = getBinaryPath();
+const args = process.argv.slice(2);
+
+debug('Spawning binary:', binaryPath);
+debug('Arguments:', args);
+
+const child = spawn(binaryPath, args, {
+  stdio: 'inherit',
+  windowsHide: true,
+});
+
+child.on('exit', (code) => {
+  debug('Binary exited with code:', code);
+  process.exit(code ?? 1);
+});
+
+child.on('error', (err) => {
+  console.error('Failed to start lean-spec:', err.message);
+  debug('Spawn error:', err);
+  process.exit(1);
+});

package/bin/lean-spec.js

@@ -0,0 +1,9 @@
+#!/usr/bin/env node
+/**
+ * LeanSpec CLI (deprecated entry point)
+ *
+ * The `lean-spec` command has been renamed to `leanspec`.
+ * This wrapper shows a deprecation notice and delegates to the new entry point.
+ */
+console.error('\x1b[33m⚠ "lean-spec" is deprecated. Use "leanspec" instead.\x1b[0m');
+import './leanspec-rust.js';

package/bin/leanspec-rust.js

@@ -0,0 +1,193 @@
+#!/usr/bin/env node
+/**
+ * LeanSpec CLI Binary Wrapper
+ *
+ * This script detects the current platform and architecture,
+ * then spawns the appropriate Rust binary with the provided arguments.
+ *
+ * The wrapper looks for binaries in the following locations:
+ * 1. Rust target/debug binary (for local development)
+ * 2. Rust target/release binary (for local development)
+ * 3. Platform-specific npm package (leanspec-darwin-x64, etc.)
+ * 4. Local binaries directory (fallback)
+ */
+
+import { spawn } from 'child_process';
+import { createRequire } from 'module';
+import { fileURLToPath } from 'url';
+import { dirname, join } from 'path';
+import { accessSync, openSync, readSync, closeSync } from 'fs';
+
+const require = createRequire(import.meta.url);
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+
+// Debug mode - enable with LEANSPEC_DEBUG=1
+const DEBUG = process.env.LEANSPEC_DEBUG === '1';
+const debug = (...args) => DEBUG && console.error('[leanspec debug]', ...args);
+
+// Platform detection mapping
+const PLATFORM_MAP = {
+  darwin: { x64: 'darwin-x64', arm64: 'darwin-arm64' },
+  linux: { x64: 'linux-x64' },
+  win32: { x64: 'windows-x64' }
+};
+
+const MACHO_MAGICS = new Set([
+  0xfeedface,
+  0xfeedfacf,
+  0xcefaedfe,
+  0xcffaedfe,
+  0xcafebabe,
+  0xbebafeca,
+]);
+
+function readHeaderBytes(filePath) {
+  const fd = openSync(filePath, 'r');
+  try {
+    const buffer = Buffer.alloc(4);
+    const bytesRead = readSync(fd, buffer, 0, 4, 0);
+    return bytesRead === 4 ? buffer : null;
+  } finally {
+    closeSync(fd);
+  }
+}
+
+function isValidBinaryHeader(filePath, platform) {
+  try {
+    const header = readHeaderBytes(filePath);
+    if (!header) return false;
+
+    if (platform === 'linux') {
+      return header[0] === 0x7f && header[1] === 0x45 && header[2] === 0x4c && header[3] === 0x46;
+    }
+
+    if (platform === 'win32') {
+      return header[0] === 0x4d && header[1] === 0x5a;
+    }
+
+    if (platform === 'darwin') {
+      const magicBE = header.readUInt32BE(0);
+      const magicLE = header.readUInt32LE(0);
+      return MACHO_MAGICS.has(magicBE) || MACHO_MAGICS.has(magicLE);
+    }
+
+    return false;
+  } catch (error) {
+    debug('Failed to read binary header:', error.message);
+    return false;
+  }
+}
+
+function isExecutableBinary(filePath, platform) {
+  if (!isValidBinaryHeader(filePath, platform)) {
+    debug('Invalid binary header:', filePath);
+    return false;
+  }
+  return true;
+}
+
+function getBinaryPath() {
+  const platform = process.platform;
+  const arch = process.arch;
+
+  debug('Platform detection:', { platform, arch });
+
+  const platformKey = PLATFORM_MAP[platform]?.[arch];
+  if (!platformKey) {
+    console.error(`Unsupported platform: ${platform}-${arch}`);
+    console.error('Supported: macOS (x64/arm64), Linux (x64), Windows (x64)');
+    process.exit(1);
+  }
+
+  const isWindows = platform === 'win32';
+  const binaryName = isWindows ? 'leanspec.exe' : 'leanspec';
+  const legacyBinaryName = isWindows ? 'lean-spec.exe' : 'lean-spec';
+  const packageName = `@leanspec/cli-${platformKey}`;
+
+  debug('Binary info:', { platformKey, binaryName, packageName });
+
+  // Try rust/target/debug directory first (for local development with `pnpm build:rust`)
+  for (const targetDir of ['debug', 'release']) {
+    for (const name of [binaryName, legacyBinaryName]) {
+      try {
+        const rustPath = join(__dirname, '..', '..', '..', 'rust', 'target', targetDir, name);
+        debug(`Trying rust ${targetDir} binary:`, rustPath);
+        accessSync(rustPath);
+        if (isExecutableBinary(rustPath, platform)) {
+          debug(`Found rust ${targetDir} binary:`, rustPath);
+          return rustPath;
+        }
+        debug(`Rust ${targetDir} binary is invalid:`, rustPath);
+      } catch (e) {
+        debug(`Rust ${targetDir} binary not found:`, e.message);
+      }
+    }
+  }
+
+  // Try to resolve platform package (try new name first, then legacy)
+  for (const name of [binaryName, legacyBinaryName]) {
+    try {
+      const resolvedPath = require.resolve(`${packageName}/${name}`);
+      if (isExecutableBinary(resolvedPath, platform)) {
+        debug('Found platform package binary:', resolvedPath);
+        return resolvedPath;
+      }
+      debug('Platform package binary is invalid:', resolvedPath);
+    } catch (e) {
+      debug('Platform package not found:', packageName, name, '-', e.message);
+    }
+  }
+
+  // Try local binaries directory (fallback, try new name first then legacy)
+  for (const name of [binaryName, legacyBinaryName]) {
+    try {
+      const localPath = join(__dirname, '..', 'binaries', platformKey, name);
+      debug('Trying local binary:', localPath);
+      accessSync(localPath);
+      if (isExecutableBinary(localPath, platform)) {
+        debug('Found local binary:', localPath);
+        return localPath;
+      }
+      debug('Local binary is invalid:', localPath);
+    } catch (e) {
+      debug('Local binary not found:', e.message);
+    }
+  }
+
+  console.error(`Binary not found for ${platform}-${arch}`);
+  console.error(`Expected package: ${packageName}`);
+  console.error('');
+  console.error('Detected missing or corrupted binary.');
+  console.error('If you installed globally, reinstall to restore the binary:');
+  console.error('  npm uninstall -g leanspec && npm install -g leanspec');
+  console.error('');
+  console.error('If your npm config omits optional dependencies, enable them and reinstall.');
+  console.error('');
+  console.error('To install:');
+  console.error('  npm install -g leanspec');
+  process.exit(1);
+}
+
+// Execute binary
+const binaryPath = getBinaryPath();
+const args = process.argv.slice(2);
+
+debug('Spawning binary:', binaryPath);
+debug('Arguments:', args);
+
+const child = spawn(binaryPath, args, {
+  stdio: 'inherit',
+  windowsHide: true,
+});
+
+child.on('exit', (code) => {
+  debug('Binary exited with code:', code);
+  process.exit(code ?? 1);
+});
+
+child.on('error', (err) => {
+  console.error('Failed to start leanspec:', err.message);
+  debug('Spawn error:', err);
+  process.exit(1);
+});

package/bin/leanspec.js

@@ -0,0 +1,9 @@
+#!/usr/bin/env node
+/**
+ * LeanSpec CLI Entry Point
+ *
+ * Thin wrapper that delegates to the Rust binary.
+ *
+ * @see spec 181-typescript-deprecation-rust-migration
+ */
+import './leanspec-rust.js';