Sowiedu/Edict

（英文原文）Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.

作者: awesome-mcp-servers 贡献者
发布: 2026-10-05

项目与安装文档

查看项目

https://github.com/Sowiedu/Edict

（英文原文）Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.

查看项目与安装说明

分类: 代码执行.

用途说明来自 awesome-mcp-servers 清单；Frontier Now 尚未测试或审查该服务器。