Документация

Удалённая настройка

Запускайте lean-ctx на удалённых серверах, в контейнерах и headless-средах через SSH-туннели.

lean-ctx работает как stdio MCP сервер - ваш AI‑клиент запускает его как локальный подпроцесс. Для удалённых серверов, контейнеров или headless-сред можно протуннелировать соединение через SSH. Никакого дополнительного серверного компонента не требуется.


SSH‑туннель (рекомендуется)

Самый простой подход: настройте AI‑клиент так, чтобы он запускал lean-ctx через SSH. Протокол MCP проходит по stdin/stdout SSH - не нужно открывать порты, использовать HTTP или управлять аутентификацией. SSH нативно обеспечивает шифрование и аутентификацию.

1. Установите lean-ctx на удалённый сервер

Подключитесь по SSH к серверу и установите lean-ctx:

ssh user@server
cargo install lean-ctx
# or download pre-built binary:
curl -fsSL https://leanctx.com/install.sh | sh

2. Проверьте соединение

Убедитесь, что lean-ctx работает через SSH. Можно запускать MCP‑сервер напрямую или протуннелировать dashboard:

# Terminal 1: SSH tunnel (keeps running)
ssh -L 3333:localhost:3333 user@server "lean-ctx dashboard --port 3333"

# Or just forward the MCP stdio over SSH:
ssh user@server "lean-ctx"

3. Настройте AI‑клиент

Укажите в MCP‑конфигурации AI‑клиента запуск lean-ctx через SSH. Это работает с Cursor, Claude Code, Windsurf и любым MCP‑совместимым клиентом:

// ~/.cursor/mcp.json or ~/.claude.json
{
  "mcpServers": {
    "lean-ctx": {
      "command": "ssh",
      "args": ["user@server", "lean-ctx"]
    }
  }
}

Клиент будет запускать ssh user@server "lean-ctx" вместо локального lean-ctx. Протокол MCP прозрачно проходит по SSH‑соединению - stdin/stdout туннелируется автоматически.


Проброс портов (Dashboard)

Если вы хотите открыть dashboard lean-ctx (Observatory) в локальном браузере, пока lean-ctx работает на удалённом сервере, используйте SSH port forwarding:

Постоянная конфигурация SSH

# ~/.ssh/config
Host dev-server
  HostName 192.168.1.100
  User developer
  LocalForward 3333 localhost:3333
  ServerAliveInterval 60
  ServerAliveCountMax 3

Затем подключитесь и запустите dashboard:

ssh dev-server "lean-ctx dashboard --port 3333"
# Dashboard now available at http://localhost:3333

VS Code Remote SSH

Если вы используете VS Code с расширением Remote - SSH, lean-ctx работает автоматически - MCP‑сервер запускается на удалённой машине как обычная команда терминала. Установите lean-ctx на удалённой машине, выполните lean-ctx setup, и он настроится под удалённую среду.


Docker / Контейнеры

Для разработки в контейнерах примонтируйте бинарник lean-ctx и его каталог данных внутрь контейнера:

# Mount lean-ctx binary into your dev container
docker run -it \
  -v $(which lean-ctx):/usr/local/bin/lean-ctx:ro \
  -v ~/.lean-ctx:/root/.lean-ctx \
  your-dev-image bash

Для Docker Compose добавьте volumes в сервис:

# docker-compose.yml
services:
  dev:
    image: your-dev-image
    volumes:
      - ./:/workspace
      - lean-ctx-bin:/usr/local/bin/lean-ctx:ro
      - ~/.lean-ctx:/root/.lean-ctx

Устранение неполадок

Соединение обрывается после простоя

SSH‑соединения могут таймаутиться при долгом простое. Добавьте keepalive‑параметры:

ssh -o ServerAliveInterval=60 -o ServerAliveCountMax=3 user@server "lean-ctx"

Permission denied на удалённой машине

Убедитесь, что lean-ctx есть в PATH удалённого пользователя. При установке через cargo install он находится в ~/.cargo/bin/lean-ctx. Добавьте export PATH=\"$HOME/.cargo/bin:$PATH\" в удалённый ~/.bashrc или ~/.zshrc.

Несовпадение версий локально и удалённо

Локальный AI‑клиент и удалённый lean-ctx должны быть одной версии, чтобы избежать проблем протокола. Обновляйте оба:

# Check versions on both machines
lean-ctx --version              # local
ssh user@server "lean-ctx --version"  # remote

Запустите диагностику на удалённой машине

Используйте lean-ctx doctor на удалённом сервере, чтобы проверить установку, shell‑хуки и конфигурацию MCP:

ssh user@server "lean-ctx doctor"