ПРОФИЛЬ / ИНСТРУМЕНТЫ РАЗРАБОТЧИКА

Edict

Язык программирования для ИИ-агентов: агент создаёт JSON AST, а компилятор проверяет типы и ограничения.

Репозиторий — откроется в новой вкладкеСайт или документация — откроется в новой вкладке

СВЕДЕНИЯ ИЗ ИСХОДНОЙ БАЗЫ

О проекте

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

Исходное описание, снимок базы от 2026-10-03. Это не самостоятельная проверка редакции all-mcp.ru.