edict — MCP-сервер для Claude Code: что делает и как установить
Предоставляет компилятор языка программирования для ИИ-агентов, где код передаётся в виде дерева JSON AST и компилируется в изолированный WebAssembly.
claude mcp add edict -- npx -y edict-langЧто делает edict
Edict исключает ручной разбор текстового кода. Модель формирует абстрактное синтаксическое дерево в формате JSON через вызовы инструментов MCP. Язык поддерживает статическую типизацию и отслеживание эффектов вроде обращений к вводу-выводу. Если синтаксис или схема нарушены, компилятор возвращает структурированный ответ с контекстом для исправления.
Условия и контракты функций проверяются на этапе сборки через верификатор Z3. При ошибке доказательства система выдаёт конкретный контрпример. После прохождения всех проверок встроенный генератор преобразует дерево в бинарный модуль WebAssembly. Программа выполняется в изолированной виртуальной машине без прямого доступа к файловой системе или сети.
Без подключения специальных адаптеров хоста скомпилированный код остаётся заблокированным от окружения. Безопасность гарантируют ограничения по памяти и времени выполнения.
Какие задачи решает
- генерировать программы через синтаксическое дерево JSON без текстового парсера
- проверять типы и побочные эффекты функций до выполнения
- верифицировать контракты с предусловиями и постусловиями через SMT
- компилировать проверенный код в WebAssembly внутри изолированной среды
- получать структурированные описания ошибок для автоматического исправления агентом
Примеры запросов агенту
- Покажи схему AST через инструмент
edict_schemaдля составления программы - Проверь типы и контракты с помощью
edict_checkдля готового дерева JSON - Скомпилируй проверенный AST через
edict_compileи запусти модуль вedict_run
Как установить edict
Командой платформы
claude mcp add edict -- npx -y edict-langКомандой платформы
codex mcp add edict -- npx -y edict-langФайл настроек
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"-y",
"edict-lang"
]
}
}
}Файл настроек
{
"servers": {
"edict": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"edict-lang"
]
}
}
}Командой платформы
gemini mcp add edict npx -y edict-langПо шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о edict
Как установить edict в Claude Code?
Выполните команду claude mcp add edict -- npx -y edict-lang в терминале.
Что делает edict?
Предоставляет компилятор без синтаксического анализатора, принимающий программы в формате JSON AST и собирающий их в WebAssembly.
Что происходит при обнаружении ошибки в коде?
Сервер возвращает структурированный объект JSON с описанием проблемы, ожидаемыми типами или контрпримером от верификатора контрактов.
