# Lingua Universale MCP Server

Сервер для проверки того, как общаются ваши ИИ-агенты: формальные доказательства свойств протокола прямо в редакторе и сессии.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 12
- Автор: rafapra3008
- Лицензия: Apache-2.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/rafapra3008/cervellaswarm
- Обновлён: 2026-08-18
- HTML: https://affpapa.org/nevibecode/mcp/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`.

## Требования
- Нужно: Python и uv (команды через uvx)

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
claude mcp add lu-mcp-server -- uvx lu-mcp-server
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>

### Codex

**Командой платформы**
```bash
codex mcp add lingua-universale-mcp-server -- uvx lu-mcp-server
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "lingua-universale-mcp-server": {
            "command": "uvx",
            "args": [
                "lu-mcp-server"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "lingua-universale-mcp-server": {
            "type": "stdio",
            "command": "uvx",
            "args": [
                "lu-mcp-server"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add lingua-universale-mcp-server uvx lu-mcp-server
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from lu-mcp-server <команда>

## Когда брать
- задать порядок сообщений между агентами и ловить нарушения сразу
- доказать, что протокол не зависнет и завершится
- прогнать линтер по `.lu`-файлам перед мержем
- нарисовать схему диалога агентов через `lu visualize`
- проверить протоколы самого MCP-сервера через `lu mcp-audit`

## Примеры запросов агенту
- Проверь файл `delegate_task.lu` и покажи, какие свойства удалось доказать
- Добавь в протокол роль валидатора и прогони линтер по `.lu`-файлам
- Сгенерируй Mermaid-диаграмму последовательности для протокола `Review`

## Похожие
- [REA](https://affpapa.org/nevibecode/mcp/rea.md) — MCP-сервер · ★ 386989
- [GitHub](https://affpapa.org/nevibecode/mcp/github.md) — MCP-сервер · ★ 33918
- [Netdata](https://affpapa.org/nevibecode/mcp/netdata.md) — MCP-сервер · ★ 81115
- [browser-use](https://affpapa.org/nevibecode/mcp/browser-use.md) — MCP-сервер · ★ 119160
- [Codebase Memory](https://affpapa.org/nevibecode/mcp/codebase-memory.md) — MCP-сервер · ★ 47392
- [mcp-server](https://affpapa.org/nevibecode/mcp/mcp-server.md) — MCP-сервер · ★ 43872

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md