io.github.Sowiedu/edict
Язык программирования для AI-агентов. На вход — JSON AST, на выход — WASM. Типизированный, с отслеживанием эффектов, верифицированный Z3.
AISowiedu
Локальный · npm
official
Что это
Язык программирования для AI-агентов. На вход — JSON AST, на выход — WASM. Типизированный, с отслеживанием эффектов, верифицированный Z3.
Как подключить
1Официальный package
npm · edict-lang@1.9.2
2Установить и запустить в терминале
npx edict-lang@1.9.2
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-sowiedu-edict": {
"command": "npx",
"args": [
"edict-lang@1.9.2"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.