Edict：面向 AI Agent 的 JSON AST 编程语言在 GitHub 开源

Sowiedu 在 GitHub 开源了 Edict，一种专为 AI Agent 设计的静态类型、效果追踪编程语言，程序以 JSON AST 表示，无解析器和文本语法。Agent 通过 MCP 工具调用提交 AST，经 Schema 校验、名称解析、类型检查、效果检查和 Z3 合约验证五阶段管线，错误以结构化 JSON 返回供 Agent 自修复，验证后的程序编译为 WASM 在沙箱 VM 中执行，支持 Node.js、Docker、浏览器（318 KB / 约 14 MB 两种 bundle）和 QuickJS 环境，含 2675 个测试、41 个示例程序，MIT 协议。