GM
GitHub MCP Server
Репозитории, задачи и pull request в рабочем процессе AI-ассистента.
E
MCP-сервер
Edict
Описание из исходного каталога
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
- Категория
- Инструменты разработчика