教程终端工具
Aider 终端 AI 编程助手使用指南
使用开源终端 AI 结对编程工具 Aider，接入 GPT-4o / Claude / DeepSeek 等模型，在 Git 仓库内直接修改多文件并自动提交。
2026-08-20
#Aider#终端
#AI编程
共 5 篇内容，涉及 2 个模块
教程4Prompt1
教程终端工具
Codex CLI 终端编程指南
使用 OpenAI 官方开源的 Codex CLI 在终端中调用 gpt-5 / gpt-4.1 等模型，实现代码编辑、Shell 执行与自主编程任务。
2026-08-20
#Codex CLI#终端
教程终端工具
Gemini CLI 终端编程指南
使用 Google 官方开源的 Gemini CLI 在终端中调用 Gemini 2.5 Pro / Flash 模型，实现代码编辑、Shell 执行、Google 搜索接地与 MCP 扩展。
2026-08-20
#Gemini CLI#终端
教程终端工具
OpenCode 终端 AI 编程工具使用指南
使用开源终端 AI 编程工具 OpenCode，接入 Claude / GPT / Gemini / DeepSeek 等 75+ 供应商模型，在 Plan/Build 双模式下完成代码编辑与自动化工程任务。
2026-08-20
#OpenCode#终端
Prompt编程开发
Spec-Driven Prompting：先写规格再写代码，把 AI 的返工率砍掉一半
2026 年 9 月 GitHub Trending 上冒出一个词：Spec-Driven Development。Fission-AI/OpenSpec 把 `spec → plan → tasks → impl` 做成标准流水线，紧随其后的是一批同类框架。它们解决的不是「模型不够聪明」，而是一个更朴素的问题——**你把一句话需求扔给 AI，它会立刻开始写代码，然后写错方向**。Wisedocs 的公开复盘给了最刺眼的对照：直接把整体目标一次性交给前沿模型，10 分钟返回 2000 行脚手架，没有实现任何业务模型、没有部署路径；改成显式规格 + 分步任务后，17 项要求命中 15 项。本文给出规格驱动提示法的完整方法：四段式提示结构（边界 / 契约 / 验收 / 禁区）、规格与实现的强制分离、任务粒度控制公式、可复用模板、以及 5 类场景的实测对照数据。
2026-09-22
#Prompt技巧#规格驱动