deed
AI编程工具Deed 是一门契约优先的编程语言,专为智能体编写代码、人类审查代码而设计。在 Deed 中,函数签名就是编译器会检查的承诺:编译器会检查类型、契约、效果行(effect rows)和能力(capabilities),确保函数无法越过其签名所允许的范围,例如未经声明就无法访问网络。Deed 通过显式能力(capabilities)赋予程序权限,使沙箱从容器变成类型。工具链已经可用,包含编译器、格式化器、测试运行器和语言服务器,可通过单文件二进制安装,也支持 WebAssembly 后端和组件构建。deed review 可以比较变更前后的模块集,为智能体补丁生成收据,指出新增权限和义务降级;deed mcp 则通过 Model Context Protocol 让编码智能体直接向编译器提问。状态方面,工具链已工作,但采用仍是开放问题,已知公开仓库外尚无 Deed 源码。