### Local Development Setup Command Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/110-project-aware-agents-generation/README.md Provides example bash commands to set up environment variables and start a local development server. ```bash export AGENT_RELAY_API_KEY=your-key docker-compose up # or npm run dev ``` -------------------------------- ### Scaffold and Run LeanSpec Example Projects Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/blog/2025-11-25-recent-updates.mdx Use these commands to explore available example projects, scaffold a new project (e.g., 'dark-theme'), install dependencies, and start the development server. ```bash npx lean-spec examples npx lean-spec init --example dark-theme cd dark-theme npm install npm start ``` -------------------------------- ### Install Dependencies and Start Dev Server Source: https://github.com/codervisor/lean-spec/blob/main/packages/cli/templates/examples/dashboard-widgets/README.md Install project dependencies and start the development server. Open the dashboard in your browser at http://localhost:5173. ```bash npm install npm run dev ``` -------------------------------- ### Initialize Example Project Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/tutorials/first-spec-with-ai.mdx Use this command to set up a pre-configured example project for the dark theme feature. After initialization, navigate into the project directory and install dependencies. ```bash npx lean-spec init --example dark-theme cd dark-theme npm install npm start ``` -------------------------------- ### Install Dependencies and Start Server Source: https://github.com/codervisor/lean-spec/blob/main/packages/cli/templates/examples/dark-theme/README.md Use npm to install project dependencies and start the Express.js server. Access the dashboard at http://localhost:3000. ```bash # Install dependencies npm install # Start the server npm start # Open in your browser: # http://localhost:3000 ``` -------------------------------- ### Install and Initialize LeanSpec Source: https://github.com/codervisor/lean-spec/blob/main/README.md Install LeanSpec globally and initialize a new project. Use the `--example` flag to start with a tutorial project. ```bash npm install -g lean-spec && lean-spec init ``` ```bash npx lean-spec init --example dark-theme cd dark-theme && npm install && npm start ``` -------------------------------- ### Initialize Example Project with LeanSpec Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/blog/2025-11-25-recent-updates.mdx Use this command to quickly set up a new project with a dark theme example pre-configured. Navigate into the created directory and install dependencies. ```bash npx lean-spec init --example dark-theme cd dark-theme npm install ``` -------------------------------- ### Initialize Example Project Logic Source: https://github.com/codervisor/lean-spec/blob/main/specs/114-example-projects-scaffold/README.md Pseudo-code illustrating the process of initializing an example project by copying template files, detecting the package manager, and installing dependencies. ```typescript // Pseudo-code async function initExample(name: string) { const templatePath = path.join(__dirname, '../templates/examples', name); const targetPath = process.cwd(); // Check if target is empty if (!isEmptyOrGitOnly(targetPath)) { throw new Error('Directory must be empty'); } // Copy template await fs.copy(templatePath, targetPath); // Detect package manager const pm = detectPackageManager(); // Install dependencies await exec(`${pm} install`); // Show next steps console.log(getNextSteps(name)); } ``` -------------------------------- ### Scaffold Example Project Source: https://github.com/codervisor/lean-spec/blob/main/specs/114-example-projects-scaffold/README.md Initializes a new project by scaffolding a specified example. Use this command to start working with a pre-defined project structure. ```bash lean-spec init --example dark-theme npm install && npm start # Should run without errors ``` -------------------------------- ### LeanSpec Getting Started Workflow Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/blog/2025-11-10-ai-agent-performance.mdx A quick start guide to installing LeanSpec, initializing it in your project, and creating a new specification file. ```bash npm install -g lean-spec cd your-project lean-spec init lean-spec create user-authentication ``` -------------------------------- ### Install and Run Dependencies Source: https://github.com/codervisor/lean-spec/blob/main/packages/cli/templates/examples/api-refactor/README.md Commands to install project dependencies and start the Node.js application. After starting, you can interact with the app's features for weather, currency, and timezone lookups. ```bash npm install npm start ``` -------------------------------- ### Initialize Project with Example Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/tutorials/managing-multiple-features.mdx Use this command to set up a pre-configured dashboard project for hands-on experience. After initialization, navigate into the project directory and install dependencies. ```bash npx lean-spec init --example dashboard-widgets cd dashboard-widgets npm install npm run dev ``` -------------------------------- ### Enhanced Onboarding Flow for LeanSpec Skill Installation Source: https://github.com/codervisor/lean-spec/blob/main/specs/211-leanspec-as-anthropic-skill/README.md This example demonstrates an interactive onboarding flow where the system detects installed AI tools and prompts the user to select installation locations for the LeanSpec Agent Skill. It offers both project-level and user-level options, pre-selecting based on detected tools. ```bash $ lean-spec init 🔍 Detected AI tools: • GitHub Copilot (github.copilot extension installed) • Claude Code (~/.claude directory found) ? Install LeanSpec Agent Skill? ❯ Yes - Project-level skills Yes - User-level skills (across all projects) No - Skip for now ? Where should we install the skill? (Select all that apply) ◉ .github/skills/leanspec-sdd/ (for GitHub Copilot) ◉ .claude/skills/leanspec-sdd/ (for Claude Code) ◯ ~/.copilot/skills/leanspec-sdd/ (user-level, all projects) ◯ ~/.claude/skills/leanspec-sdd/ (user-level, all projects) Installing skill... ✓ .github/skills/leanspec-sdd/ created ✓ .claude/skills/leanspec-sdd/ created 💡 Tip: Restart your AI tools to discover the new skill ``` -------------------------------- ### Current AGENTS.md Skills Reference Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/282-agents-skill-reference-improvement/README.md This is the current generic example path used in AGENTS.md for installed skills. It needs to be updated to reflect actual installation locations. ```markdown - **Location**: See your skills directory (e.g., `.github/skills/leanspec-sdd/SKILL.md`) ``` -------------------------------- ### Ideal Context-Aware AGENTS.md Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/110-project-aware-agents-generation/README.md Demonstrates the desired AGENTS.md content with project-specific context, security guidance, and setup instructions. ```markdown ## Project: agent-relay AgentRelay is a lightweight, self-hosted orchestration platform for AI coding agents. ## Security & Privacy ⚠️ **CRITICAL**: This is a self-hosted service handling API keys and agent execution. - Store API keys in environment variables (never commit) - Run behind authentication (network access controls) - Default: localhost-only (expose cautiously) - TLS required for remote access ## Development Setup Start the local server: bash export AGENT_RELAY_API_KEY=your-key docker-compose up # or npm run dev # Server: http://localhost:4000 ## MCP Integration Configure your AI tool to connect: json { "mcpServers": { "agent-relay": { "command": "node", "args": ["./bin/mcp-client.js"], "env": { "AGENT_RELAY_URL": "http://localhost:4000", "AGENT_RELAY_API_KEY": "${AGENT_RELAY_API_KEY}" } } } } ## Core Rules 1. Read README.md first (understand agent-relay architecture) 2. Check specs/ (orchestration patterns, security decisions) ... ``` -------------------------------- ### Initialize and Run LeanSpec Tutorial Project Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/guide/index.mdx Use these commands to quickly set up and run a tutorial project with LeanSpec. This is a good way to get started and see LeanSpec in action. ```bash npx lean-spec init --example dark-theme cd dark-theme && npm install && npm start ``` -------------------------------- ### Minimal AGENTS.md Example Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/guide/migration.mdx A minimal example of an AGENTS.md file for project-specific AI agent instructions, including installing the SDD skill. ```markdown # AI Agent Instructions ## Project: Your Project Install SDD skill: `npx skills add codervisor/skills@leanspec` ## Project-Specific Rules - Use pnpm instead of npm ``` -------------------------------- ### Minimal AGENTS.md Example with Skill Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/guide/usage/advanced-features/agent-configuration.mdx This example shows a minimal AGENTS.md file that includes instructions for installing an SDD skill. It is useful for keeping the main agent instructions file concise while leveraging external skills. ```markdown # AI Agent Instructions ## Project: Example Install SDD skill: `npx skills add codervisor/skills@leanspec` ## Project-Specific Rules - Use pnpm instead of npm - Update both en and zh-CN locales for UI text ``` -------------------------------- ### Agent Session Command Examples Source: https://github.com/codervisor/lean-spec/blob/main/specs/158-persistent-agent-sessions/README.md Illustrates practical usage of agent session commands for starting, resuming, and pausing sessions with specific parameters. ```bash lean-spec agent start 045 --agent claude # ... agent works, exits after design phase ... lean-spec agent resume 045 # Agent receives: "Previous session completed design phase. # Files changed: api.ts, types.ts. Next: Implement core logic." lean-spec agent pause 045 --notes "Core logic done, need design review" # ... human reviews, provides feedback in spec ... lean-spec agent resume 045 --phase testing # Agent receives: "Design review incorporated. Start testing phase." ``` -------------------------------- ### Development Chat Server Setup Source: https://github.com/codervisor/lean-spec/blob/main/specs/094-ai-chatbot-web-integration/NOTES.md Use this command to start the chat server in development mode, exposing it via a Unix socket. ```bash LEANSPEC_CHAT_SOCKET=/tmp/leanspec-chat.sock pnpm dev:chat-server ``` -------------------------------- ### Docker Volume Mount Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/317-docker-deployment/README.md Demonstrates how to run the LeanSpec UI container and mount a host directory as a project source. Ideal for CI/CD or local Docker Compose setups. ```bash docker run -v /path/to/project:/projects/my-project leanspec-ui ``` -------------------------------- ### Tutorial Integration Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/114-example-projects-scaffold/README.md Shows how tutorials will reference the `lean-spec init --example` command for users to quickly set up the necessary project environment. ```markdown ## Quick Start Want to follow along? Set up the example project: \```bash npx lean-spec init --example dark-theme \``` Or use your own project... ``` -------------------------------- ### Add UI to Quick Start Guide Source: https://github.com/codervisor/lean-spec/blob/main/specs/106-ui-package-documentation/README.md Integrate the lean-spec ui command into the project's quick start guide to inform users about the visual mode. ```markdown ### 4. Visual Mode (Optional) For a visual interface to browse and manage specs: ```bash lean-spec ui # Or from any project: npx @leanspec/ui ``` The UI provides: - Interactive spec browser with rich formatting - Dependency graph visualization - Project overview and metrics - Search and filtering → Learn more: [Visual Mode Guide](./guide/visual-mode) ``` -------------------------------- ### CLI Command for Scaffolding Example Projects Source: https://github.com/codervisor/lean-spec/blob/main/specs/114-example-projects-scaffold/README.md Demonstrates the usage of the `lean-spec init --example` command to scaffold a new project from a specified template. Includes output and custom directory naming. ```bash lean-spec init --example dark-theme # Output: # ✓ Created directory: dark-theme/ # ✓ Copied example project # ✓ Installed dependencies # # Next steps: # 1. cd dark-theme # 2. Open this project in your editor # 3. Follow the tutorial: https://lean-spec.dev/docs/tutorials/first-spec-with-ai # 4. Ask your AI: "Help me add dark theme support to this app using LeanSpec" ``` ```bash lean-spec init --example dark-theme --name my-feature-demo # Creates: my-feature-demo/ with dark-theme template ``` -------------------------------- ### Install and Run @leanspec/chat-server Standalone Source: https://github.com/codervisor/lean-spec/blob/main/specs/094-ai-chatbot-web-integration/README.md Instructions for installing the chat server globally as a command-line tool and starting it. This is for standalone usage. ```bash # As standalone tool npm install -g @leanspec/chat-server leanspec-chat # Starts server ``` -------------------------------- ### Install and Initialize LeanSpec CLI Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/blog/2025-11-10-ai-agent-performance.mdx Install the LeanSpec CLI globally and initialize it within your project directory to start managing your specifications. ```bash # Install npm install -g lean-spec # Initialize in your project cd your-project lean-spec init ``` -------------------------------- ### Example Project Structure Source: https://github.com/codervisor/lean-spec/blob/main/specs/114-example-projects-scaffold/README.md Illustrates the directory structure for example projects, each containing starter code, specs, and READMEs for specific tutorial scenarios. ```tree examples/ dark-theme/ # Tutorial 1: Adding Dark Theme Support (simplest) package.json src/ server.js # Express server public/ index.html # Task manager UI style.css # Light theme only app.js # Task logic README.md # Scenario context .gitignore dashboard-widgets/ # Tutorial 2: Managing Multiple Features package.json src/ app.ts components/ Dashboard.tsx README.md api-refactor/ # Tutorial 3: Refactoring with Specs package.json src/ monolith.ts # Messy code to refactor services/ userService.ts README.md ``` -------------------------------- ### CLI Analyze Command Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/059-programmatic-spec-management/ARCHITECTURE.md Example of using the 'analyze' command to get structural metrics of a spec file in JSON format. ```bash $ lean-spec analyze 045 --json ``` -------------------------------- ### Winget Installer Manifest Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/212-cross-platform-binary-distribution/README.md This YAML manifest is used by winget to define how to install the LeanSpec package on Windows. It specifies the installer type, URL, SHA256 hash, and portable command alias. ```yaml PackageIdentifier: codervisor.LeanSpec PackageVersion: 0.3.0 Installers: - Architecture: x64 InstallerType: zip InstallerUrl: https://github.com/codervisor/lean-spec/releases/download/v0.3.0/lean-spec-windows-x64.zip InstallerSha256: NestedInstallerFiles: - RelativeFilePath: lean-spec.exe PortableCommandAlias: lean-spec InstallerSwitches: Silent: "" SilentWithProgress: "" ManifestType: installer ManifestVersion: 1.5.0 ``` -------------------------------- ### List Available Examples Source: https://github.com/codervisor/lean-spec/blob/main/specs/114-example-projects-scaffold/README.md Displays a list of all available example projects that can be scaffolded. This command helps in discovering and choosing the right example for your needs. ```bash lean-spec examples # Should show all available examples ``` -------------------------------- ### Complete SDD Workflow Example Source: https://context7.com/codervisor/lean-spec/llms.txt Demonstrates the end-to-end Spec-Driven Development cycle using `lean-spec` commands, from discovery and planning to implementation and completion. ```bash # === PHASE 1: DISCOVER === lean-spec board # check project health lean-spec search "rate limit" # look for existing work lean-spec list --tag api --status planned # see what's ready # === PHASE 2: PLAN (create the spec) === lean-spec create api-rate-limiting \ --tags api,security \ --priority high \ --field epic=AUTH-2024 # ✅ Created spec 042-api-rate-limiting # Ask AI to draft the spec content (via MCP or CLI): # "Draft a spec for API rate limiting. # Goal: limit to 100 req/min per user. # Keep under 200 lines. Context Economy." # === PHASE 3: START WORK === lean-spec update 042 --status in-progress # ✅ Updated 042-api-rate-limiting: status → in-progress # === PHASE 4: IMPLEMENT === # Ask AI: "Implement rate limiting per spec 042" # During implementation, update spec with findings: lean-spec update 042 \ --section "Implementation Notes" \ --append "Using token-bucket algorithm. 2ms latency impact." # === PHASE 5: COMPLETE === lean-spec update 042 --status complete lean-spec validate 042 # ✅ 042-api-rate-limiting — Token count: 1,832 (Excellent) # Check dependencies and archive when no longer active lean-spec deps 042 lean-spec archive 042 ``` -------------------------------- ### Initialize Project with Standard Template Source: https://github.com/codervisor/lean-spec/blob/main/specs/072-ai-agent-first-use-workflow/README.md Use this command to start a new project with the standard template, which includes the first interaction protocol. ```bash mkdir test-lean-spec-project cd test-lean-spec-project lean-spec init --template standard ``` -------------------------------- ### Interactive LeanSpec Initialization Source: https://github.com/codervisor/lean-spec/blob/main/specs/116-init-example-leanspec-setup/README.md Initiates LeanSpec project setup in interactive mode. When no example is specified, the CLI prompts the user to select an example from a menu, such as 'dark-theme'. ```bash cd /tmp lean-spec init --example # Select dark-theme from menu # Should create same result ``` -------------------------------- ### AI CLI Tool Not Found Error Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/063-migration-from-existing-tools/DESIGN.md Illustrates the error message displayed when the specified AI CLI tool is not installed on the system. Provides installation instructions. ```bash # AI CLI not found $ lean-spec migrate ./docs/adr --with copilot ❌ copilot CLI not found Install: npm install -g @githubnext/github-copilot-cli Or run without --with flag for manual instructions ``` -------------------------------- ### Test Documentation Build and Serve Source: https://github.com/codervisor/lean-spec/blob/main/specs/095-pr-migration-verification/README.md Builds the documentation site and serves it locally to verify that the build completes without errors and that all migrated content is accessible. This includes checking specific sections and locales. ```bash npm run build npm run serve ``` -------------------------------- ### Interactive Prompt: Fresh Project Installation Source: https://github.com/codervisor/lean-spec/blob/main/specs/226-agent-skills-init-integration/README.md Demonstrates the interactive prompt when no existing skills folders are found. The user is guided through selecting an installation location for LeanSpec Agent Skills. ```bash $ lean-spec init Welcome to LeanSpec! 🚀 🔍 Detected AI tools: GitHub Copilot ? Install LeanSpec Agent Skills? (Recommended) ❯ Yes - Project-level (.github/skills/ for this project) Yes - User-level (~/.copilot/skills/ for all projects) Skip for now Installing skill to .github/skills/... ✓ leanspec-sdd installed 💡 Restart your AI tool to discover the new skill ``` -------------------------------- ### Basic LeanSpec Initialization with Dark Theme Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/116-init-example-leanspec-setup/README.md Initializes a new LeanSpec project using the 'dark-theme' example. This command creates a new directory, copies project files, and sets up LeanSpec configurations. ```bash cd /tmp lean-spec init --example dark-theme cd dark-theme ls -la # Should show: AGENTS.md, .lean-spec/, specs/, src/, package.json lean-spec list # Should work (confirms LeanSpec is initialized) ``` -------------------------------- ### Before: Node.js + Rust Dockerfile Source: https://github.com/codervisor/lean-spec/blob/main/specs/242-ai-sdk-rust-migration/DESIGN.md Example Dockerfile for a previous setup using Node.js for the AI worker and a Rust binary for the HTTP server. This setup is being replaced by a pure Rust implementation. ```dockerfile FROM node:20-slim COPY --from=rust-builder /app/target/release/leanspec-http /usr/local/bin/ RUN npm install -g @leanspec/ai-worker CMD ["leanspec-http"] ``` -------------------------------- ### Update Command Examples for Folder Structure Source: https://github.com/codervisor/lean-spec/blob/main/specs/056-docs-site-accuracy-audit/AUDIT-RESULTS.md Modifies command examples to use the flat folder structure instead of the date-grouped one. This ensures commands match the actual project setup. ```diff - lean-spec update specs/20251102/001-feature --status=in-progress + lean-spec update 001 --status=in-progress ``` -------------------------------- ### Rust CLI Init Command Example Output Source: https://github.com/codervisor/lean-spec/blob/main/specs/233-rust-init-interactive-wizard/README.md This example demonstrates the expected interactive prompts and output of the Rust CLI's `lean-spec init` command after the AI tools and MCP configuration wizard is implemented. It shows project name input, AI tool detection, symlink creation prompts, and MCP server configuration selection. ```bash $ lean-spec init Project name (detected: my-project): my-project 🔍 Detected AI tools: Claude Desktop (found config at ~/.config/Claude/claude_desktop_config.json) └─ MCP server configuration available GitHub Copilot (VS Code extension detected) ✓ Created AGENTS.md ? Create symlinks for additional AI tools? ◉ Claude Desktop (CLAUDE.md) ◯ Gemini CLI (GEMINI.md) ? Configure MCP server for which tools? ◉ Claude Desktop ◉ VS Code ◯ Cursor ◯ Windsurf ✓ Created CLAUDE.md → AGENTS.md ✓ Configured MCP server for Claude Desktop ✓ Configured MCP server for VS Code LeanSpec initialized successfully! 🎉 ``` -------------------------------- ### Branch Naming Convention Example Source: https://github.com/codervisor/lean-spec/blob/main/CLAUDE.md Follow this pattern for naming branches, starting with a type and a short description. ```markdown / ``` -------------------------------- ### Partitioning Strategy Example Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/blog/2025-11-10-ai-agent-performance.mdx Illustrates how to break down a large specification into smaller, focused files to improve AI performance by loading only relevant sections for specific tasks. ```text # Instead of one 1,200-line spec: specs/dashboard/README.md (200 lines - overview) specs/dashboard/DESIGN.md (350 lines - architecture) specs/dashboard/IMPLEMENTATION.md (150 lines - plan) specs/dashboard/TESTING.md (180 lines - tests) # AI loads only what it needs # Working on architecture? Read DESIGN.md only # Writing tests? Read TESTING.md only ``` -------------------------------- ### File Menu Integration Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/167-desktop-projects-management-page/README.md Illustrates the 'File' menu structure with project management actions. ```text File ├── Open Project... Cmd+O ├── Open Recent │ ├── MyApp │ ├── ClientSite │ └── Clear Recent ├── Add Project to Workspace... Cmd+Shift+O ├── Close Project Cmd+W ├── ───────────────── └── Manage All Projects... Cmd+Shift+M ← Opens in tab ``` -------------------------------- ### MCP Integration Configuration Example Source: https://github.com/codervisor/lean-spec/blob/main/specs/110-project-aware-agents-generation/README.md Shows how to configure an MCP server for a specific project, including environment variables for connection details. ```json { "mcpServers": { "agent-relay": { "command": "node", "args": ["./bin/mcp-client.js"], "env": { "AGENT_RELAY_URL": "http://localhost:4000", "AGENT_RELAY_API_KEY": "${AGENT_RELAY_API_KEY}" } } } } ``` -------------------------------- ### Unified Server CLI Arguments Source: https://github.com/codervisor/lean-spec/blob/main/specs/218-unified-http-ui-server/README.md Examples of how to configure the unified server using command-line arguments for network settings. ```bash npx @leanspec/ui --port 3001 # Custom port npx @leanspec/ui --host 0.0.0.0 # Bind to all interfaces (for Docker/remote access) npx @leanspec/ui -H 0.0.0.0 -p 8080 # Short flags ``` -------------------------------- ### LeanSpec CLI: Guided Implementation with Pauses Source: https://github.com/codervisor/lean-spec/blob/main/specs/168-leanspec-orchestration-platform/DESIGN.md Starts a guided implementation session, allowing for manual review and confirmation at various stages (e.g., after design, implementation). Users can choose to review changes and proceed to the next phase. ```bash $ lean-spec implement 168 --agent claude --guided ✓ Started session: 168-orchestration-platform → Design phase... (1m 23s) ✓ Design phase complete Review changes before continuing? [y/N]: y → Opening diff... Continue to implementation? [Y/n]: y → Implementation phase... (8m 45s) ✓ Implementation phase complete Review changes before continuing? [y/N]: y → Opening diff... Continue to testing? [Y/n]: y ``` -------------------------------- ### Built-in {author} Variable Example Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/guide/usage/advanced-features/variables.mdx Illustrates the use of the {author} variable, which gets the user's name from git config. ```markdown **Author**: {author} ``` -------------------------------- ### Start Local Development Server Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/README.md Starts a local development server for live previewing changes. Changes are reflected live without server restart. ```bash pnpm start ``` -------------------------------- ### Lean-Spec CLI User Flow Source: https://github.com/codervisor/lean-spec/blob/main/specs/045-unified-dashboard/DESIGN.md Example of a typical user interaction flow with the lean-spec CLI, starting with the default dashboard view. ```bash cd my-project lean-spec # Quick overview (dashboard) # See something interesting... lean-spec list --tag bug # Drill down lean-spec board # Change status lean-spec # Check dashboard again ``` -------------------------------- ### Performance Benchmark Results for CLI Startup Source: https://github.com/codervisor/lean-spec/blob/main/specs/170-cli-mcp-core-rust-migration-evaluation/README.md Reports the actual CLI startup time, which meets the target of <50ms. ```text CLI startup: <50ms (actual: ~19ms) ✅ PASS ``` -------------------------------- ### Start Development Mode Source: https://github.com/codervisor/lean-spec/blob/main/README.md Commands to start the development server for the UI and core components, or individually for UI or CLI. ```bash pnpm dev # Start dev mode (UI + Core) pnpm dev:web # UI only pnpm dev:cli # CLI only ``` -------------------------------- ### LeanSpec Initialization Prompt Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/guide/usage/advanced-features/templates.mdx Interactive prompts shown when running 'lean-spec init' to guide the user through project setup, including template selection. ```bash lean-spec init ``` -------------------------------- ### Zed MCP Server Configuration Source: https://github.com/codervisor/lean-spec/blob/main/specs/102-mcp-wrapper-package/README.md Example configuration for Zed to use `@leanspec/mcp` as an MCP server. The `npx` command will automatically install the package and its dependencies. ```json { "context_servers": { "leanspec": { "command": "npx", "args": ["-y", "@leanspec/mcp"] } } } ``` -------------------------------- ### Start Development Server Source: https://github.com/codervisor/lean-spec/blob/main/docs-site/docs/tutorials/first-spec-with-ai.mdx Run the local development server to test the implemented feature. This command is used to preview changes before merging. ```bash npm start ```