lispex mcp serve запускает локальный stdio-сервер из установленного бинарника
Native. Каждый запрос и ответ использует закрытый версионированный кадр.
Инструменты
| Инструмент | Ввод | Результат |
|---|---|---|
lispex_reference | topic и необязательное точное name | установленные формы, процедуры, грамматика reader, ресурсы или маршруты |
lispex_eval | исходник и необязательный datum | наблюдение Rust tree со значением, stdout, предупреждениями и диагностикой |
lispex_diagnostic | один код E3xx или W3xx | точное объяснение каталога и условие возникновения |
lispex_compare_routes | именованный court, исходник и необязательный ввод | наблюдения маршрутов, согласие, ресурсы и происхождение |
Справочник использует темы forms, procedures, reader, resources и
routes. Неизвестное имя возвращает known: false, чтобы ассистент исправил
запрос по установленной версии.
Фиксированные сравнения
| Court | Продукты |
|---|---|
tree-rust | встроенные Rust tree и Rust VM |
rust-topaz | Rust VM и точная VM Топаза, выбранная при запуске |
all-four | Rust tree, Rust VM, выбранная VM Топаза и свежий AOT-продукт |
Укажите дополнительные продукты Топаза абсолютными путями при запуске сервера.
lispex mcp serve \
--topaz-vm /absolute/path/to/topaz-vm \
--topaz-compiler /absolute/path/to/topaz-compiler \
--rust-tools /absolute/path/to/rust-toolsКаждое сравнение сохраняет именованный набор маршрутов и записывает
agreement, partial_comparison, answer_selected, терминальные статусы,
ресурсы и идентификаторы продуктов.
Ресурсный профиль
| Ресурс | Значение |
|---|---|
| исходник на запрос | 65 536 байт |
| ввод на запрос | 16 384 байта |
| результат выполнения | 1 МиБ |
| время выполнения | 5 секунд |
| результат сравнения | 4 МиБ |
время all-four | 11 минут |
Сервер явно возвращает timeout, отмену, состояние ввода, продукта, build, cleanup и процесса. Эта поверхность предназначена для проверенного авторского исходника. Правила приложения от внешних пользователей выполняются в вычислителе с управлением ресурсами.
Поток данных и полномочий
Исходник и необязательный datum поступают через локальный stdio. Worker хранит данные в памяти и освобождает их при завершении запроса. Результат инструмента содержит хэш исходника, наблюдения, ресурсы и диагностику. Абсолютные пути запуска фиксируют дополнительные продукты на время работы сервера.
MCP создаёт авторские наблюдения. Ваучер Лиспекса принимает точные исходник и ввод через собственный аутентифицированный запрос, текущее повторное выполнение и локальную проверку допуска. Хост-приложение использует результат gate и владеет внешним действием.
Настройка AI-ассистента · Среды выполнения и бэкенды · Ваучер Лиспекса