从代码到规格：
Spec-Driven Development
代码正在成为编译产物。听 Snyk 创始人 Guy Podjarny 讲述如何通过 Tessl 利用 AI 将软件开发范式从“编写实现”推向“定义规格”。
软件开发的范式转移
类似于自动驾驶的 L1 - L5 分级
{{ evolutionStages[activeStage].headline }}
{{ evolutionStages[activeStage].desc }}
自动驾驶类比： {{ evolutionStages[activeStage].analogy }}
预测时间点： {{ evolutionStages[activeStage].timeline }}
核心特征
-
{{ feat }}
{{ evolutionStages[activeStage].status }}
核心概念详解
点击卡片查看深度解析
{{ card.title }}
{{ card.summary }}
Tessl 生态系统解构
Spec Registry
Open Beta"AI 的 NPM"。 这是一个存储知识（Knowledge）而非代码的仓库。它解决了 Agent 的"幻觉"问题，因为 Agent 虽有智能（Intelligence），但缺乏具体的版本知识。
技术细节
- 包含 10,000+ 个 Spec Packs
- 解决版本过时或过新导致的错误
- 使用 markdown/json 定义库的使用规范
- 类似于 npm install，Agent 安装知识包
Tessl Framework
Closed Beta不是一个新的 Agent，而是 Agent 的工具箱。 它通过 MCP (Model Context Protocol) 协议，让现有的 Agent (如 Claude Desktop, Cursor) 具备 Spec-Driven 的能力。
功能特性
- 提供生成/更新 Spec 的工具链
- 自动运行和验证回归测试
- 读取
tessl.json(Manifest) - 协调不同 Agent 之间的工作流
Guy's Golden Quotes
"Spec 现在就是源代码 (Source Code)。生成的代码只是编译后的二进制文件，它是可抛弃的 (Disposable)。"
— 关于代码的未来
"Agent 拥有智能，但它们没有知识。我们必须通过 Spec Registry 赋予它们关于如何使用特定库的知识。"
— 关于 AI 的局限