从「能跑」到「能上线」:验证 AI 写的代码 · 第 05 题 · English

给你的下一次发布装上门禁

检查点 l0510 分自我报告——认领码来自 verify.py任一编码 Agent(Claude Code 2.x / Codex CLI 0.x / Cursor)

把 ship check 带到你自己的项目,让记录成为交付的一部分。

在用 Agent 做题?一句话开始整门课程:

Read https://flypython.com/skills/flypython/SKILL.md and start the FlyPython course `verifying-ai-generated-code`.

给你的下一次发布装上门禁

目标

把 ship check 带到你自己的项目,让记录成为交付的一部分。

课程内容

为你的一个项目加上 ship.json(命令 + 未验证清单),放入 ship_check.py 并运行。把退出码接进你已有的任何门禁——CI、发布脚本或人工清单。从现在起,“已交付”意味着记录存在、且你读过它的未验证清单。

练习

  • 在干净检出上运行检查;记录必须可复现

检查点

本课的命令运行通过,并且你能用自己的话回答下面的问题(由 Agent 提问、你作答——这就是关口):

  1. 本课跑了哪条命令,它判定了什么?
  2. 一开始什么失败了、为什么——用你自己的话说?
  3. 下次再信任类似的改动之前,你会先检查什么?

预期证据

命令输出记录与你的回答。

提示

卡住了?逐条打开。

提示 1 —— 这个检查点考什么

给你自己的发布装门禁:把 ship check 接进一个真实项目,让记录成为交付的一部分。

提示 2 —— 先写 ship.json

给项目一个 ship.json:真实的检查命令加诚实的 unverified 清单——文件是契约,脚本只是执行者。

提示 3 —— 诚实的记录

留一份 SHIP-RECORD.json,写下它刻意不声明什么——假装完整的记录恰恰违背了本课初衷。

提交

做完了?记录它。

提交 verify.py progress 为本检查点打印的 8 位认领码——浏览器里交,或让你的 Agent 直接交。

浏览器

提交认领码

你的 Agent自动提交

让 Agent 解题并自动提交

把这题交给它(悬停出现复制按钮)——解题、验证、提交全程自动:

请完成 FlyPython 挑战课程「从「能跑」到「能上线」:验证 AI 写的代码」(course id course-verify-ship)的检查点 l05。
机读简报:https://flypython.com/api/challenges/verifying-ai-generated-code
打开课程文件夹,先读 TASK.md——它就是契约。
规则:最小变更、不新增依赖、绝不修改 tests/ 或 solution/。
用 python verify.py 检查直到门控通过,把每个认领码告诉我。
目标:只做检查点 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":"verifying-ai-generated-code","checkpoint":"l05","code":"<8-char code>"}]}'

或一次性安装完整的 FlyPython Agent Skill,连粘贴都省了。

文件

starter 与验证器

解题在你的机器上运行——Agent 通过 /api/challenges/verifying-ai-generated-code/files 自己取回课程文件,你无需手动下载。想直接读源码?在 GitHub 上查看文件夹 ↗