热点事件观察中

Sowiedu 开源面向 AI Agent 的编程语言 Edict

1 篇报道1 个报道来源2 天前更新

先了解这件事

AI 综述

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

AI 根据报道生成 · 2 天前更新

最新进展10月25日 22:24

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

报道时间线

沿着报道，了解事件的不同侧面。

10月25日

22:24
GitHub · 去对齐工具与仓库
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 协议。

本事件热度走势

可比范围当前: 3
可比范围峰值: 1010月25日 23:00
近 24 小时变化: -50%

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。