Sowiedu/Edict
Что делает сервер
Язык программирования для ИИ-агентов: агент создаёт JSON AST, а компилятор проверяет типы и ограничения.
Инструменты разработчика · Сведения из MCP Каталога ↗
Снимок: 05.08.2026. Работа сервера не проверялась.
Полное описание из сохранённой выгрузки
– Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop
Текст источника · 05.08.2026.
Туториалы и подключение
Материалы источника для указанной пары сервера и клиента. Точные параметры установки и доступов сверяйте с документацией автора.
Документация автора
Клиенты, указанные в источнике: Cursor. Наличие записи не подтверждает проверенную совместимость.
Способ установки, поддерживаемые MCP-клиенты, необходимые права и актуальные условия использования уточняйте в документации автора.
Сведения о проекте
- Тематика
- Инструменты разработчика
- Снимок каталога
- 05.08.2026
- Получено
- 27.10.2026
- Обогащено
- 27.10.2026
Карточка в MCP Каталоге ↗ · Источник автора ↗
Описание и характеристики перенесены из сохранённого списка источника. Доступность проекта, работоспособность MCP-инструментов и условия лицензии отдельно не подтверждались.