Lingua Universale MCP Server — MCP-сервер для Claude Code
Сервер для проверки того, как общаются ваши ИИ-агенты: формальные доказательства свойств протокола прямо в редакторе и сессии.
claude mcp add lu-mcp-server -- uvx lu-mcp-serverЧто делает Lingua Universale MCP Server
Lingua Universale — это язык описания протоколов между агентами и проверяльщик типов сессий. Вы задаёте роли, кто кому и в каком порядке шлёт сообщения, а сервер проверяет, что диалог идёт по правилам. Нарушение отправителя или порядка шагов отсекается на месте, а не в продакшене.
MCP-сервер поднимается одной командой через uvx lu-mcp-server и даёт агенту доступ к инструментам LU: разбор и компиляция .lu-файлов, проверка формальных свойств, линтер, форматтер и генерация кода на Python. Часть возможностей пакета живёт в CLI — lu verify, lu lint, lu fmt, lu visualize, lu mcp-audit, отдельная команда lu mcp-audit пригодится для аудита протоколов самого MCP-сервера.
Протокол описывают в отдельном файле на языке LU, а не в коде агента, поэтому проверка становится отдельным шагом сборки. Хотите встроить её в CI — пакет ставится через pip install cervellaswarm-lingua-universale, и lu verify возвращает ненулевой код при нарушении. Стоит помнить, что для запуска сервера нужен установленный uv: команды установки для всех платформ опираются на uvx.
Какие задачи решает
- задать порядок сообщений между агентами и ловить нарушения сразу
- доказать, что протокол не зависнет и завершится
- прогнать линтер по
.lu-файлам перед мержем - нарисовать схему диалога агентов через
lu visualize - проверить протоколы самого MCP-сервера через
lu mcp-audit
Примеры запросов агенту
- Проверь файл
delegate_task.luи покажи, какие свойства удалось доказать - Добавь в протокол роль валидатора и прогони линтер по
.lu-файлам - Сгенерируй Mermaid-диаграмму последовательности для протокола
Review
Как установить Lingua Universale MCP Server
Командой платформы
claude mcp add lu-mcp-server -- uvx lu-mcp-serveruvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>
Командой платформы
codex mcp add lingua-universale-mcp-server -- uvx lu-mcp-serveruvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>
Файл настроек
{
"mcpServers": {
"lingua-universale-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>
Файл настроек
{
"servers": {
"lingua-universale-mcp-server": {
"type": "stdio",
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>
Командой платформы
gemini mcp add lingua-universale-mcp-server uvx lu-mcp-serveruvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Lingua Universale MCP Server
Как установить Lingua Universale MCP Server в Claude Code?
Выполните claude mcp add lu-mcp-server -- uvx lu-mcp-server. Для второго имени сервера есть вариант claude mcp add lingua-universale-mcp-server -- uvx lu-mcp-server.
Что делает Lingua Universale MCP Server?
Даёт агенту инструменты для проверки протоколов общения между ИИ-агентами: компиляцию .lu-файлов, проверку формальных свойств, линт и генерацию кода на Python.
Обязательно ли ставить весь пакет LU ради MCP-сервера?
Сам сервер запускается через uvx lu-mcp-server. Для проверки в CI или работы с CLI пакет ставят отдельно: pip install cervellaswarm-lingua-universale.
