🚀 今天我要介绍 specra-lang。

我想解决的问题很简单：在使用编程代理时，我们常常会创建过多的 `.md` 文件：需求、架构、决策、笔记、提示、问题……太多的 Markdown，不够的结构化真相。代理最终需要在散乱的上下文、过时的文档和难以验证的规范中导航。 **之前：** ❌ 到处都是 Markdown ❌ 重复或过时的需求 ❌ 需要长篇提示反复解释同一件事 ❌ 代理缺乏明确的事实来源 ❌ 手动验证结果是否符合意图 **使用 Specra 后：** ✅ `.scl.md` 中的紧凑合约 ✅ 意图、实体、操作、期望、约束和目标，统一格式 ✅ 为代理提供精简的工件 ✅ 更少噪音，更多有用上下文 ✅ 可针对观察结果进行验证 这个想法不是要写更多的文档，而是用代理能够理解、使用和验证的合约来替代非结构化的 Markdown。 **Specra 是合约驱动的 AI 编程和验证。** 你编写一个紧凑的规范，代理据此实现，然后你可以在可重复的循环中验证观察到的行为。 网站：[https://davidnazareno.github.io/specra-lang/](https://davidnazareno.github.io/specra-lang/?utm_source=chatgpt.com) 仓库：[https://github.com/DavidNazareno/specra-lang](https://github.com/DavidNazareno/specra-lang?utm_source=chatgpt.com) 欢迎与使用编程代理、SDD、规范、测试或 Codex / Claude Code / OpenCode 工作流的各位交流反馈。您如何看待这种方法？