# edict

Предоставляет компилятор языка программирования для ИИ-агентов, где код передаётся в виде дерева JSON AST и компилируется в изолированный WebAssembly.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 13
- Автор: Sowiedu
- Лицензия: MIT · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/Sowiedu/Edict
- Обновлён: 2026-10-17
- HTML: https://affpapa.org/nevibecode/mcp/edict

## Что делает

Edict исключает ручной разбор текстового кода. Модель формирует абстрактное синтаксическое дерево в формате JSON через вызовы инструментов MCP. Язык поддерживает статическую типизацию и отслеживание эффектов вроде обращений к вводу-выводу. Если синтаксис или схема нарушены, компилятор возвращает структурированный ответ с контекстом для исправления.

Условия и контракты функций проверяются на этапе сборки через верификатор Z3. При ошибке доказательства система выдаёт конкретный контрпример. После прохождения всех проверок встроенный генератор преобразует дерево в бинарный модуль WebAssembly. Программа выполняется в изолированной виртуальной машине без прямого доступа к файловой системе или сети.

Без подключения специальных адаптеров хоста скомпилированный код остаётся заблокированным от окружения. Безопасность гарантируют ограничения по памяти и времени выполнения.

## Требования
- Нужно: Node.js (команды через npx)

## Установка

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

**Командой платформы**
```bash
claude mcp add edict -- npx -y edict-lang
```

### Codex

**Командой платформы**
```bash
codex mcp add edict -- npx -y edict-lang
```

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "edict": {
            "command": "npx",
            "args": [
                "-y",
                "edict-lang"
            ]
        }
    }
}
```

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "edict": {
            "type": "stdio",
            "command": "npx",
            "args": [
                "-y",
                "edict-lang"
            ]
        }
    }
}
```

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add edict npx -y edict-lang
```

## Когда брать
- генерировать программы через синтаксическое дерево JSON без текстового парсера
- проверять типы и побочные эффекты функций до выполнения
- верифицировать контракты с предусловиями и постусловиями через SMT
- компилировать проверенный код в WebAssembly внутри изолированной среды
- получать структурированные описания ошибок для автоматического исправления агентом

## Примеры запросов агенту
- Покажи схему AST через инструмент `edict_schema` для составления программы
- Проверь типы и контракты с помощью `edict_check` для готового дерева JSON
- Скомпилируй проверенный AST через `edict_compile` и запусти модуль в `edict_run`

## Похожие
- [wasm-emscripten](https://affpapa.org/nevibecode/skills/wasm-emscripten.md) — скилл · 513 установок
- [wasm-agent](https://affpapa.org/nevibecode/skills/wasm-agent.md) — скилл · 739 установок
- [edict-multi-agent-orchestration](https://affpapa.org/nevibecode/skills/edict-multi-agent-orchestration.md) — скилл · 1400 установок
- [llvm](https://affpapa.org/nevibecode/skills/llvm.md) — скилл · 899 установок
- [blazor](https://affpapa.org/nevibecode/skills/blazor.md) — скилл · 798 установок
- [blazor-expert](https://affpapa.org/nevibecode/skills/blazor-expert.md) — скилл · 688 установок

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