feat: Add script to stop running lean-spec processes before rebuilds

Author: Marvin Zhang

scripts/copy-rust-binaries.mjs

@@ -46,6 +46,42 @@ function getCurrentPlatform() {
   return platformKey;
 }
 
+async function killProcessesUsingBinary(binaryPath) {
+  if (process.platform === 'win32') {
+    // Windows: use handle.exe or just try to copy
+    return;
+  }
+  
+  try {
+    // Use lsof to find processes using the binary
+    const { execSync } = await import('node:child_process');
+    const output = execSync(`lsof "${binaryPath}" 2>/dev/null || true`, { encoding: 'utf-8' });
+    
+    if (!output.trim()) {
+      return; // No processes using the file
+    }
+    
+    // Extract PIDs (skip header line)
+    const lines = output.trim().split('\n').slice(1);
+    const pids = [...new Set(lines.map(line => line.split(/\s+/)[1]).filter(Boolean))];
+    
+    if (pids.length > 0) {
+      console.log(`⚠️  Found ${pids.length} process(es) using ${path.basename(binaryPath)}, stopping them...`);
+      for (const pid of pids) {
+        try {
+          execSync(`kill ${pid}`, { stdio: 'ignore' });
+        } catch (e) {
+          // Process might already be dead
+        }
+      }
+      // Give processes time to exit
+      await new Promise(resolve => setTimeout(resolve, 500));
+    }
+  } catch (e) {
+    // lsof not available or other error, continue anyway
+  }
+}
+
 async function copyBinary(binaryName, platformKey) {
   const isWindows = platformKey.startsWith('windows-');
   const sourceExt = isWindows ? '.exe' : '';
@@ -67,6 +103,14 @@ async function copyBinary(binaryName, platformKey) {
   // Ensure destination directory exists
   await fs.mkdir(destDir, { recursive: true });
 
+  // Kill any processes using the destination binary
+  try {
+    await fs.access(destPath);
+    await killProcessesUsingBinary(destPath);
+  } catch (e) {
+    // Destination doesn't exist yet, that's fine
+  }
+  
   // Copy binary
   await fs.copyFile(sourcePath, destPath);
 

scripts/stop-leanspec-processes.sh

@@ -0,0 +1,38 @@
+#!/usr/bin/env bash
+# stop-leanspec-processes.sh
+# Stops all running lean-spec and leanspec-mcp processes
+# Useful before rebuilding or when processes are stuck
+
+echo "🔍 Looking for lean-spec processes..."
+
+# Find all lean-spec related processes (excluding this script and grep)
+PIDS=$(ps aux | grep -E "lean-spec|leanspec-mcp" | grep -v grep | grep -v "stop-leanspec-processes" | awk '{print $2}')
+
+if [ -z "$PIDS" ]; then
+  echo "✅ No lean-spec processes found"
+  exit 0
+fi
+
+echo "🛑 Found processes to stop:"
+ps aux | grep -E "lean-spec|leanspec-mcp" | grep -v grep | grep -v "stop-leanspec-processes"
+echo ""
+
+for PID in $PIDS; do
+  echo "  Killing PID $PID..."
+  kill "$PID" 2>/dev/null || true
+done
+
+# Wait a moment for processes to exit
+sleep 1
+
+# Check if any survived
+REMAINING=$(ps aux | grep -E "lean-spec|leanspec-mcp" | grep -v grep | grep -v "stop-leanspec-processes" | wc -l)
+
+if [ "$REMAINING" -gt 0 ]; then
+  echo "⚠️  Some processes didn't stop, force killing..."
+  for PID in $PIDS; do
+    kill -9 "$PID" 2>/dev/null || true
+  done
+fi
+
+echo "✅ All lean-spec processes stopped"