Использование Лиспекса с AI-ассистентом

Подключение Native-сервера

Установите Native со страницы загрузок, проверьте lispex --version и добавьте в ассистент локальный stdio-сервер.

JSON

{
  "mcpServers": {
    "lispex": {
      "command": "lispex",
      "args": ["mcp", "serve"]
    }
  }
}

Установленный Native-бинарник владеет lispex mcp serve. После повторного подключения ассистент получает четыре инструмента.

Инструмент	Результат
`lispex_reference`	формы, процедуры, синтаксис reader, ресурсные профили и runtime-маршруты
`lispex_eval`	наблюдение эталонного Rust tree для проверенного исходника
`lispex_diagnostic`	объяснение точного кода диагностики, например `E302`
`lispex_compare_routes`	согласие или расхождение одного именованного сравнения runtime

Первый запрос

Используй инструменты Лиспекса. Проверь форму if, напиши правило, которое возвращает approve при вводе не меньше 10 и review в остальных случаях, запусти с вводом 12 и исправь диагностику перед ответом.

Ассистент сверяет форму, выполняет программу и использует установленный каталог диагностики. Форма if в Лиспексе содержит ветвь else; ложным значением является #f; reader публикует точные формы комментариев.

Локальный поток данных

Сервер Лиспекса общается через локальный stdio. Гостевая программа получает явный datum и чистую вычислительную поверхность языка. Результат инструмента содержит хэш исходника, наблюдения и диагностику, а хранение исходника завершается вместе с запросом. К тексту в приложении ассистента применяется политика данных этого приложения.

Сравнение runtime-маршрутов

Встроенное сравнение готово в базовом сервере.

JSON

{
  "court": "tree-rust",
  "source": "(+ input 1)",
  "input": "41"
}

Один исходник, ввод, Core IR, байткод и ресурсный запрос выполняются в эталоне Rust tree и Rust VM. Добавьте точные продукты Топаза при запуске сервера для сравнений rust-topaz и all-four.

JSON

{
  "command": "lispex",
  "args": [
    "mcp", "serve",
    "--topaz-vm", "/absolute/path/to/topaz-vm",
    "--topaz-compiler", "/absolute/path/to/topaz-compiler",
    "--rust-tools", "/absolute/path/to/rust-tools"
  ]
}

rust-topaz сравнивает две VM. all-four добавляет tree и продукт, скомпилированный заранее для этого запроса. Каждое сравнение сохраняет свой выбранный набор маршрутов.

Ресурсный профиль написания

Ресурс	Значение
исходник на запрос	65 536 байт
ввод на запрос	16 384 байта
результат выполнения	1 МиБ
время выполнения	5 секунд
результат сравнения	4 МиБ
время `all-four`	11 минут

Timeout, отмена, некорректный ввод, состояние продукта, build, cleanup и терминальные состояния процесса возвращаются явно. Используйте эту поверхность с проверенным авторским исходником. Для правил приложения, поступающих извне, используйте контракт вычислителя с управлением ресурсами.

Дополнительные продукты выбираются абсолютными путями при запуске. Результат сравнения является авторским наблюдением. Ваучер добавляет аутентификацию издателя, привязку запроса, текущее повторное выполнение и локальное разрешение.

После работы закройте stdio-соединение MCP. Локальный процесс завершится и освободит состояние запроса.

Справочник MCP · Путь обучения · Ваучер Лиспекса