agent-spec：Agent任务合约编译器

agent-spec 是一个面向 AI 编码 Agent 的意图编译器，以 Rust 编写，面向需要对代理任务做机械验证的开发者。项目本次首次发布，创建于3月7日：它把人类意图经结构化需求编译为任务合约，再对执行结果进行机械化验证，使代理是否满足要求可以自动判定，而非仅靠人工检查；工具发布至 crates.io 并配有文档站点，仓库提供安装、任务合约与验证运行命令，代码以 MIT 许可开源。