Справочник Native MCP

Продукт и транспорт

lispex mcp serve

Native предоставляет стабильный MCP 2025-11-25 по локальному stdio через официальный SDK rmcp/1.5.0. Объявляются только tools: нет resources, prompts, roots, sampling, elicitation, потока логов, subscriptions, HTTP или удалённой точки. При запуске допускаются только три необязательных абсолютных пути:

lispex mcp serve \
  --topaz-vm /absolute/path/to/topaz-vm \
  --topaz-compiler /absolute/path/to/topaz-compiler \
  --rust-tools /absolute/path/to/rust-tools

--topaz-compiler и --rust-tools указываются вместе. Продукты строго проверяются до запуска сервера. Запрос инструмента не может передать путь.

Закрытые инструменты

Инструмент	Обязательный ввод	Необязательный ввод	Результат
`lispex_reference`	нет	`topic`: `forms`, `procedures`, `reader`, `resources` или `routes`; точное `name`	ответ установленного профиля и реестра; неизвестное имя даёт `known: false`
`lispex_eval`	UTF-8 `source`	один datum Lispex в `input`, связанный с именем `input`	значения Rust tree, stdout, предупреждения, диагностика, статус, ресурсы и идентичности
`lispex_diagnostic`	`code` по `^[EW][0-9]{3}$`	нет	точная строка каталога и условие; неизвестный код даёт `known: false`
`lispex_compare_routes`	`court`: `tree-rust`, `rust-topaz` или `all-four`; UTF-8 `source`	один datum Lispex в `input`	наблюдения и идентичности каждого маршрута, оси расхождения, доступность, очистка и совпадение без выбора ответа

Все объекты запросов закрыты. Лишнее поле отвергается, а не игнорируется. Для имени в lispex_reference нужен topic. Выполнение и сравнение не принимают путь к файлу, произвольный список маршрутов, исполняемый файл, endpoint или capability.

Результат выполнения

Структурированный lispex.mcp-eval-result/v1 содержит идентичности текущего продукта и профиля, движок rust-tree, SHA-256 исходника и необязательного input, канонические значения, захваченный stdout, точные диагностику и предупреждения, статус завершения, ресурсы, metrics и нулевые счётчики fallback.

Он явно сообщает:

JSON

{
  "source_retained": false,
  "semantic_equivalence_proved": false,
  "vouch_authority": false
}

Ошибки reader и runtime — обычные ограниченные результаты. Отмена, тайм-аут, отказ worker, неверный ввод protocol и неподдерживаемая версия видны и не повторяются на другом evaluator.

Закрытые courts сравнения

lispex.mcp-route-comparison-result/v1 не принимает произвольный список маршрутов:

Court	Точный состав	Условие запуска
`tree-rust`	встроенные tree и Rust VM	нет
`rust-topaz`	встроенная Rust VM и точная Topaz VM	`--topaz-vm`
`all-four`	tree, Rust VM, Topaz VM, свежий AOT	все три параметра

Все участники получают одинаковые исходник, input, производные Core IR/bytecode и запрос ресурсов. При отсутствии условия возвращается court_available: false, и ни один маршрут не запускается. Расхождение после выполнения даёт agreement: false; answer_selected и partial_comparison остаются false.

all-four создаёт закрытую рабочую директорию запроса, строит свежий AOT-продукт, запускает его через строгую границу продукта и при отмене или тайм-ауте завершает всю группу процессов. Директория удаляется до ответа; ошибка очистки закрывает tool с отказом.

Фиксированные пределы

Граница	Предел
исходник	65 536 байт
datum input	16 384 байт
результат выполнения	1 MiB
результат сравнения	4 MiB
диагностика и предупреждения	256
время выполнения	5 000 мс
время сравнения	не более 660 000 мс

Фиксированный профиль написания также применяет пределы переходов и управления языка. Он не заявляет лимит памяти на уровне операционной системы.

Безопасность и поддержка

Сервер очищает окружение worker и не выдаёт возможности файлов, часов, случайности, сети, базы данных или callback host. Дополнительные продукты берутся только из неизменяемой конфигурации запуска: нет поиска через PATH, переменные окружения, checkout, route lock, catalog, домашнюю директорию или сеть. Исходник не входит в результат и не сохраняется между вызовами. Сетевого транспорта нет.

MCP есть только в Native. npm, public WASM, браузер и Playground не предоставляют эти инструменты. Вывод MCP не может войти в выпуск, аутентификацию, evidence повторного выполнения Vouch или grant gate.

Дальше

Пошаговая настройка находится в Lispex с ИИ-помощником, а полная таблица команд — в Native CLI.