上手 GitHub Copilot · 第 05 题
工具会泛化：任务契约、指令文件、有界 Agent 工作、diff 评审——用 Copilot 在你真正拥有的仓库上跑同一套闭环。
七门 Agent 工具课共用同一道题。VS Code 中的 GitHub Copilot 专属步骤仍在补写——补齐并通过审核前，本页 canonical 指向主课程的对应题目。
在用 Agent 做题？一句话开始整门课程：
Read https://flypython.com/skills/flypython/SKILL.md and start the FlyPython course `hands-on-with-github-copilot`.你把整套闭环——契约、指令文件、有界 Agent 工作、diff 评审、书面 验证——用到自己真正拥有的脚本或仓库上，并记录发生了什么。
课程文件夹是安全沙箱；你自己的代码库不是。前四课的意义从来不是 那个报表工具——而是一种可复用的、让你始终掌控产出的 Agent 驱动 方式。本检查点要证明迁移真的发生了。它是自我报告的：闭环跑没跑 过只有你知道。
挑一个你真正拥有的脚本——一个你拖了很久的 bug，或一个想要但 还没写的行为。然后走同样的五步：
<命令> 退出码为 0」。一小段，每句都可测试。.github/copilot-instructions.md（或仓库已有的 AGENTS.md）——验证
命令、依赖政策。目录专属规则放带 applyTo 的指令文件。在新会话的
References 里确认它们被加载。如果仓库是共享的，这些文件要像代码
一样评审：同事的 Copilot 会话也会读它们。如果闭环跟你打架——任务小到不需要契约，或模糊到不可测——那也 是发现。写下形状不合身的地方；这个判断本身就是真本事。
如果你的项目还有不止一处值得钉住的边界，现在就起草下一条契约行 ——开下一个会话时你会用得上。
本检查点自我报告。能回答下面三题时，用
python verify.py --attest l05 认领：
你的契约段落、你写的指令文件、三行验证记录。它们是你自己的——是 工作流完成迁移的证明。
提示
自我报告：你确认把这套闭环用到了自己的项目上。证据是你的契约、你的指令文件、你审过的提交、你的验证记录——不是我们查得了的码。
能迁移的是闭环：契约先行、一次一处有界改动、每轮的 diff 在下一条提示词前读完、验证写下来。
你自己的项目有了一份契约、一处你讲得清的有界改动、一份已验证/未验证/已知局限记录——或一条写清楚的「闭环不合身」的原因。
提交
提交 python verify.py 为本检查点打印的 8 位认领码。自报关卡要先完成课后问题，再运行 python verify.py --attest l05。
只有记录积分和徽章才需要账号——读题和解题永远免费。
把这题交给它（悬停出现复制按钮）——解题、验证、提交全程自动：
请完成 FlyPython 挑战课程「上手 GitHub Copilot」（course id course-github-copilot）的检查点 l05。
机读简报：https://flypython.com/api/challenges/hands-on-with-github-copilot
打开课程文件夹，先读 TASK.md——它就是契约。
规则：最小变更、不新增依赖、绝不修改 tests/ 或 solution/。
用 python verify.py 检查 starter/；自报关卡先让我回答课后问题，再运行 --attest ID 取得码。
目标：只做检查点 l05 这一道题，完成后立即提交。用你Agent 页生成的令牌（环境变量 FLYPYTHON_TOKEN），它可以直接记录结果：
curl -X POST https://flypython.com/api/claims \
-H "Authorization: Bearer $FLYPYTHON_TOKEN" \
-H "Content-Type: application/json" \
-d '{"claims":[{"course":"hands-on-with-github-copilot","checkpoint":"l05","code":"<8-char code>"}]}'或一次性安装完整的 FlyPython Agent Skill，连粘贴都省了。
解题在你的机器上运行——Agent 通过 /api/challenges/hands-on-with-github-copilot/files 自己取回课程文件，你无需手动下载。想直接读源码？在 GitHub 上查看文件夹 ↗