Spec-Kit+Copilot打造AI规格驱动开发

Spec-Kit+Copilot打造AI规格驱动开发

作者:算力魔方创始人/英特尔创新大使 刘力

一,什么是Spec-Kit?

在传统的软件开发中,通常先有需求→ 写规格 → 再写代码;规格多数是“指导性文档”,而真正的业务逻辑和边界由程序员“翻译”出来。Spec-Driven Development(规格驱动开发)的理念是,将规格(spec)从“仅供参考”提升为可执行、可驱动的核心工件,直接引导后续设计、计划、任务拆解、实现等流程。spec-kit 是 GitHub 提供的一个工具集 / CLI / 模板库,用来在项目中落地这种流程!

Github: https://github.com/github/spec-kit

二,搭建运行环境

本节将指导您从零开发搭建Spec-Kit的运行环境。

第一步:在Ubuntu24.04上安装uv:

curl -LsSf https://astral.sh/uv/install.sh | sh

第二步:请首先按装Spec-Kit:

uv tool install specify-cli --from git+https://github.com/github/spec-kit.git

第三步:新建项目文件夹,例如“cube4060”;在cube4060文件夹路径,执行:

specify init my-website

然后,选择您所用的AI assistant,并键入“Enter”。笔者选用Github Copilot。

三,在VS Code中使用SpecKit

在VS Code中,打开my-website文件夹,然后在Github Copilot的Chat对话框中,依此输入命令:

  • 用 /speckit.constitution 定义团队或项目的原则和治理(code style、测试标准、性能要求等)
  • 用 /speckit.specify 写规格,专注于 “要做什么 / 为什么做” 而非技术细节
  • 用 /speckit.plan 在选定技术栈下做技术规划
  • /speckit.tasks:创建可操作的任务列表
  • /speckit.implement:执行所有任务并根据计划构建您的应用程序
详情参见:https://github.com/github/spec-kit

按照2-6步,输入命令后,可以获得开发好的网站,如下图所示:

四,总结

使用spec-kit 的价值在于:提升规格驱动的贯穿力、减少误解、标准化流程、让AI 融入软件开发流程。对那些希望把“写好规格 / 早期明确边界”作为核心竞争力的团队/项目,spec-kit 提供了一条可实践的路径。

如果你有更好的文章,欢迎投稿!

稿件接收邮箱:[email protected]

更多精彩内容请关注“算力魔方®

Read more

AI 编程工具 Claude Code 实战

AI 编程工具 Claude Code 实战

随着本人应用 AI 编程进行深度应用后,发现 Cursor 处理复杂问题时候还是很欠缺,同时由于 Cursor 更改了 Pro 用户的使用规则,导致每个月中开始就无法使用 Cursor 中的一些高级模型。 今天就来介绍一下最近特别火而且本人也在应用的 AI 编程工具 Claude Code。 Claude Code Claude Code 是由 Anthropic 开发的可在本地运行的自动化 AI 编程命令行工具,他基于 Claude 4 系列模型获得强大的能力. 能理解您的代码库,执行命令,自动化管理Git仓库,调用您的 Model Context Protocol (MCP)。 能按照您的想法创造、修改项目,出色地完成撰写文档,转写语言等您平时十分繁重的工作。 它通过命令行界面(CLI)运行,允许开发者通过自然语言命令处理编码任务、Git 工作流和调试。

PyTorch生成式人工智能(12)——StyleGAN详解与实现

PyTorch生成式人工智能(12)——StyleGAN详解与实现

PyTorch生成式人工智能(12)——StyleGAN详解与实现 * 0. 前言 * 1. StyleGAN * 1.1 模型介绍 * 1.2 模型策略分析 * 2. 实现 StyleGAN * 2.1 生成图像 * 2.2 风格迁移 * 小结 * 系列链接 0. 前言 StyleGAN (Style-Generative Adversarial Networks) 是生成对抗网络 (Generative Adversarial Networks, GAN) 的变体,是一种无监督学习模型,用于生成逼真且高分辨率的图像。与传统 GAN 不同,StyleGAN 引入了两个关键概念:样式迁移和逐渐增强。样式迁移允许生成网络控制图像的风格和外观,从而生成具有不同特征的图像。逐渐增强则是指生成网络逐层地生成图像,先生成粗略的细节,然后逐渐添加更多细节和结构,从而获得更加逼真的图像。

Agent-Browser: 适合ai的浏览器自动化 CLI 工具(以OpenCode为例)

Agent-Browser: 适合ai的浏览器自动化 CLI 工具(以OpenCode为例)

介绍 Agent-Browser是Vercel 专为AI Agent 设计的一个浏览器自动化 CLI 工具,能让 它们模拟人类操作浏览器(点击、滚动、截图和填表单等), 是对playwright作为封装和优化,默认是无头模式操作浏览器。 agent-browser 及关联 Skill vs  playwright-skill 综合信息表 Skill(技能 / 工具)来源(获取 / 运行方式)核心功能核心技术(底层实现)agent-browsernpm install -g agent-browser通用浏览器自动化(CLI 版)Playwright + 自有 CLI 封装dogfoodagent-browser 内置子 skillQA 测试、探索性测试基于 agent-browser 核心能力electronagent-browser 内置子 skillElectron 桌面应用测试无额外标注(默认基于 agent-browser)slackagent-browser