Spec Kit 更快地构建高质量软件。 一个开源工具包,让你专注于产品场景和可预测的结果,而不是从头开始对每个部分进行氛围式编码。 目录 • 什么是规范驱动开发? /github/spec-kit.git 然后直接使用该工具: specify init <PROJECT_NAME> specify check 要升级 Specify,请参阅升级指南[17]获取详细说明 快速升级: uv tool install specify-cli --force --from git+https://github.com/github/spec-kit.git 选项 2:一次性使用 无需安装,直接运行: uvx --from git+https://github.com/github/spec-kit.git specify init <PROJECT_NAME> 持久化安装的好处 了解更多 详见:https://github.com/github/spec-kit 故障排除 Linux 上的 Git 凭据管理器 如果你在 Linux 上遇到 Git 身份验证问题,可以安装 Git
今天打算在全新的虚拟机上面安装一套最新的OpenCode+Spec-Kit+Superpowers。 问题:单独安装OpenCode和Spec-Kit都没有问题,但是把Spec-Kit注入到项目文件夹时,就出现第一张图片的报错了。 原来是最新版的opencode和spec-kit并不兼容,spec-kit新版去掉了opencode模板。 npminstall-gopencode-ai@1.4.7#验证版本opencode--version3.验证降级成功展开代码语言:TXTAI代码解释opencode--version看到输出1.4.7就说明降级成功了✅但是spec-kit 还有版本问题,核心是新版的spec-kit新版本删掉了opencode模板,所以你哪怕降级OpenCode也没用。
Spec-Kit是一个具体实现规范驱动开发的工具集或框架。虽然"Spec-Kit"不是一个通用商标术语,但这个概念指的是专门为规范驱动开发设计的一整套集成工具。 Spec-Kit的典型架构一个完整的Spec-Kit通常包含以下核心组件: 展开 代码生成引擎 Spec-Kit的核心是强大的代码生成能力: 示例:Spec-Kit代码生成配置spec-kit-config: specs /api/*.yaml - spec-kit lint --rules api-standardsgenerate-code: stage: generate script: - spec-kit test --contract```## Spec-Kit的实际产品示例虽然"Spec-Kit"是通用概念,但市场上有许多实现这一理念的工具:1.
最近在研究opencode,整理整个流程,发现在ai编程时,SDD部分不是很严谨,效率不高,发现了Spec-kit,它作为SDD,大大的提升了AI编程的效率。 如果你也遇到以下问题,那么Spec-kit非常适合你。 官方推出的Spec-Kit工具,完美适配OpenCode,把AI编程变成了一套标准化的工程流程。 最核心的5步,集成到opencode中:3分钟上手使用spec-kit第一步:安装spec-kit展开代码语言:TXTAI代码解释打开终端#安装specify命令行工具uvtoolinstallspecify-cli --fromgit+https://github.com/github/spec-kit.git#验证安装specifycheck第二步:初始化OpenCode项目展开代码语言:TXTAI代码解释#创建新项目
本文即介绍一个「规范驱动开发」工具的使用,它叫 Spec Kit,由 GitHub 推出,与市面上流行的 AI 助手(如 Cursor、VS Code、Claude、Windsurf 等)均能很好的集成 uv tool install specify-cli --from git+https://github.com/github/spec-kit.gitSpec Kit 安装成功后,可以使用 specify 参考资料[1] GitHub: Spec Kit, a toolkit to help you get started with Spec-Driven Development - https://github.com /github/spec-kit[2] YouTube: GitHub 最火的 Spec Kit 项目深度解析 - https://www.youtube.com/watch? v=PtIGaAPzCR0[3] YouTube: The ONLY guide you’ll need for GitHub Spec Kit - https://www.youtube.com/watch
解决方案有三个热门选手:GitHub 官方的 Spec-Kit(82.5K Star)、轻量级的 OpenSpec(34.5K Star)、技能驱动的 Superpowers(115K Star)。 三者的背景与定位 Spec-Kit:规范可执行化 GitHub 官方出品,由 Den Delimarsky 和 John Lam 等核心开发者维护。 Spec-Kit 的哲学是:结构胜过混乱。 实战示例 Spec-Kit 实战 安装: uv tool install specify-cli --from git+https://github.com/github/spec-kit.git 初始化项目 技术选型建议 图 5:根据项目场景快速选择合适的 AI 编程工作流工具 企业级项目场景 推荐:Spec-Kit 理由: GitHub 官方维护,长期支持有保障 阶段门控确保质量可控 丰富的扩展生态支持定制化
一、介绍SpecKit定位:GitHub官方推出的、面向AI开发的规范驱动开发工具包。核心目标:通过一套标准化、可执行的工作流,帮团队和个人构建高质量软件,减少“从零开始的瞎写代码”。 生态和GitHub深度绑定,对企业级、大型团队项目的适配度更高。OpenSpec定位:轻量级、AI原生的规范驱动开发框架,由社区驱动。 二、使用方法speckit使用方法:展开代码语言:TXTAI代码解释#安装specify命令行工具uvtoolinstallspecify-cli--fromgit+https://github.com /github/spec-kit.git#验证安装specifycheck#创建新项目(指定使用OpenCode)specifyinitmy-project--aiopencode#或者在当前目录初始化
Omni 协议层曾在于比特币协议层与用户货币层之间,旨在成为可以发布个性化货币的基础协议。实现Omni协议的软件将包含一个工具,可以允许人们去设计并发行自定义规则的货币,而不需要去做任何的软件开发。
certain standards to effectively describe changes, such as the most used Angular Commit specification on GitHub
在为任何功能编写 SPEC 之前,应该先建立项目的“指导原则” (spec-guide)。 开启新 SPEC:如果变更导致核心目标完全变了,就应该果断地开启一个全新的 SPEC 来重新设计,并明确废弃旧的 SPEC。 SPEC 不是银弹,它也有自己的问题 SPEC 流程并不完美。 SPEC 相关工具 spec-kit: https://github.com/github/spec-kit OpenSpec: https://github.com/Fission-AI/OpenSpec spec-workflow-mcp: https://github.com/Pimzino/spec-workflow-mcp -End- 原创作者|朱邦义
默认情况下,编译器使用操作的 operationId 来确定相应 REST 调用调用的方法的名称。可以指定不同的名称。为此,请将以下内容添加到规范类的 OpenAPI XData 块中的操作中:
上周刚刚发布的支持Windows Phone 7的Prism 4.0最终版,Damian, Diego, Guido 和Ezequiel更新了Prism Training Kit ,这个beta版的Training Kit包括5个动手实验涵盖了Prism的核心概念(modularity, bootstrapping, dependency injection, UIComposition 和Communication
SPEC2006软件编译安装IOS软件解压在win操作系统用winRAR软件对ISO文件进行直接解压,不可将ISO文件用刻盘软件进行刻盘,会丢失文件。 修改spec2006内文件cd /home/speccpu/tools/ 目录下修改 make-3.82/glob/glob.c把 # if _GNU_GLOB_INTERFACE_VERSION == 函数的问题和 numconvert.t 测试失败的问题(参考 https://serverfault.com/a/801997/323597 和 如何在 Hifive Unmatched 开发板上安装 SPEC *,解决 miniperl Segmentation fault 的问题(参考 unmatched(riscv64) 上编译,安装和移植 SPEC CPU 2006)@@ -4536,7 +4536,7 shrc packagetools linux-sw64 export SPEC_INSTALL_NOCHECK=1 .
写 Spec 这件事,卡在哪了? 很多开发者在推 Spec 驱动开发。 命令面板也可以:Cmd+Shift+P→ MumuSpec: 打开 Spec 工作台。 工作台总控台显示项目概览(文档数、状态分布)和四个入口卡片。 如果你团队也在用 Spec 驱动开发,或者正在对比各种 Spec 工具链,欢迎来 GitHub 讨论。
目前市场上的工具可以归为六类: 类型 代表 核心回答 流程编排型 GitHub Spec Kit、GSD、Ralph Loop 如何走通 Spec→Code 的流程? 内容模板型 PRD Engine、Specs-Creator、Anvil、Product Spec Kit、BALDART Spec 到底该写什么? GitHub Spec Kit 5 阶段顺序流程 —— Constitution → Spec → Plan → Tasks → Implement。 Anvil(GitHub) Components-Capabilities-Enablers-Requirements 四层模型。内置依赖管理。 /归档 Spec Kit、OpenSpec、MumuSpec、Anvil 独立平台 Spec 在独立平台中管理 Kiro、Tessl Agent 内建 Spec 存在于 Agent 记忆或配置中 BMAD
Kit3D is a 3D graphics engine written for Microsoft Silverlight. Kit3D was initally released in a JavaScript format to run with Silverlight 1.0, now there is a new release Applications written using Kit3D will look nearly identical to code written to produce WPF3D content. Kit3D 是一个silverlight中3D引擎.其第一个版本是用js为sl1.0开发的.现在的这个版本是为sl 2用C#开发.其中的类是用WPF3D中的类型. There is a new class, Kit3D.Windows.Media.VisualTreeHelper object that has a HitTest method, just like
希望你用PDF Kit时,能少走点弯路,多点乐趣。简介PDF Kit(PDF服务)为HarmonyOS应用提供了丰富的PDF文档处理能力,包含 pdfService 和 PdfView 两大核心模块。 示例代码:import { pdfService } from '@kit.PDFKit';import { hilog } from '@kit.PerformanceAnalysisKit';import 示例代码:import { pdfService } from '@kit.PDFKit';import { hilog } from '@kit.PerformanceAnalysisKit';@Entry 示例代码:import { pdfService, pdfViewManager, PdfView } from '@kit.PDFKit';import { fileIo } from '@kit.CoreFileKit 参考资料PDF Kit官方文档
AI领域中的Spec详解引言在人工智能领域中,"spec"通常是specification(规格、规范)的缩写,用于描述一个系统、模型、接口、功能或行为的详细定义。 本文将从五个常见场景出发,详细解析"spec"在AI领域中的具体使用方法和最佳实践。 进行模型部署,用户可以判断模型是否满足业务需求,同时spec也是实现模型互操作性的重要基础(如ONNX格式中的模型spec)。 例如,Llama3的官方spec会明确说明其上下文长度为8192tokens,支持多语言,并采用RMSNorm归一化等技术细节。 掌握不同场景下Spec的使用方法,是AI开发者必备的核心技能。
估计上个月推出的Windows Mobile 6.5.3 Developer Tool Kit是Windows Mobile 6.x系列的最后一个DTK了吧,在这里记录一下下载链接和详细信息,以作纪念。
二、基于模型测试工具Spec Explorer Spec Explorer是微软发布的一款与Visual Studio紧密整合的基于模型测试的工具。 微软的多个不同规模的项目都已将Spec Explorer 纳入为开发流程的一部分。 使用Spec Explorer 帮助这些团队更快速创建测试用例、确保需求覆盖的可预见性并提供项目生命周期管理及软件更新的支持。 InfoQ上朱永光11月发布了一篇文章用Spec Explorer进行基于模型的测试,文章里提到了Spec Explorer分别提供了Visual Studio 2008和Visual Studio 2010 这些都是了解和学习Spec Explorer这个工具的资源。