FlyPython
Sign inStart a challenge

上手 Kimi Code · 第 03 题 · English

第 3 课：有界改动，一次一条契约行

检查点 l0310 分测试套件判定Kimi Code CLI

通过 coder 道的有界步骤把 starter 推到全绿——下一处编辑落地前，先审完这一处。

六门 Agent 工具课共用同一道题。Kimi Code CLI 专属步骤仍在补写——补齐并通过审核前，本页 canonical 指向主课程的对应题目。

在用 Agent 做题？一句话开始整门课程：

Read https://flypython.com/skills/flypython/SKILL.md and start the FlyPython course `hands-on-with-kimi-code`.

第 3 课：有界改动，一次一条契约行

目标

starter 通过一串有界改动让九个测试全绿，并且不看 solution，你也 讲得清每一处编辑。

为什么有这节课

这节课最容易被跳过——也恰恰是长本事的那节。放任 Agent 一次重写 整个文件，什么也学不到，只留下一份你没底气审查的改动。监督一连串 小编辑、各自钉在一条契约行上，才能让 AI 写的代码仍然是你的。 Kimi Code 的分道帮了忙：explore 和 plan 根本碰不了文件—— 每处编辑都汇进 coder 这一条你要盯的道。

本课内容

拿着第 2 课的计划，告诉 kimi：

“用 coder 子代理按计划改 starter/report_tool.py。一次只修一组 失败测试：先 JSON 加载，再无效行隔离，再舍入，再原子写，最后是 端到端测试。每修完一组跑 python verify.py starter，先给我看 编辑再继续。”

守住契约边界：

  • 只动 starter/report_tool.py。编辑碰到 tests/、solution/、 scenario/ 就停下问为什么。
  • 标准库之外不加 import。
  • 每处改动朝一条契约行推进。顺手重构（「我顺便重命名了……」） 一律拒绝。
  • Agent 想改测试，答案是不行。测试是契约；动的是代码。

步与步之间认真审。读实际的编辑，不只读 Agent 对编辑的总结—— 两者不一致时以 diff 为准。讲不清的改动就不留；回退后把这一步 用更紧的指令重发。

预期失败数逐组下降：7 → 5 → 4 → 3 → 2 → 0。

练习

挑 coder 的一处编辑——最好是「无效行隔离」那段——讲回来： 「第 N 行做了 X，满足契约行 Y」。讲不清就先让它走读那处编辑， 再跑下一步。

检查点

运行 python verify.py。本检查点的码只在 starter 套件 全绿时出现。不看材料能回答即算通过：

  1. 这次有界改动走了几步，是什么让每步保持有界？
  2. 你拒绝或重发过哪处编辑，为什么？
  3. 指出实现「无效行带原因隔离」的那处编辑——它在哪？

预期证据

一次全绿的 python verify.py starter 运行，和你对这次改动的逐 处讲解。

提示

卡住了？逐条打开。

提示 1 —— 本检查点考察什么

starter 通过你监督的改动让九个测试全绿——python verify.py 只在 starter 套件变绿后显示本检查点的码。

提示 2 —— coder 是唯一能编辑的道

只有 coder 子代理能写文件、跑命令——每处改动都汇进你盯着的这一条道。每步守住一条契约行，步间跑验证。

提示 3 —— 完成的标志

每处编辑都能对上一条契约行，而且不看 solution/ 你也讲得清每一处改动。

提交

做完了？记录它。

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

你浏览器

提交认领码

你的 Agent自动提交

让 Agent 解题并自动提交

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

请完成 FlyPython 挑战课程「上手 Kimi Code」（course id course-kimi-code）的检查点 l03。
机读简报：https://flypython.com/api/challenges/hands-on-with-kimi-code
打开课程文件夹，先读 TASK.md——它就是契约。
规则：最小变更、不新增依赖、绝不修改 tests/ 或 solution/。
用 python verify.py 检查直到门控通过，把每个认领码告诉我。
目标：只做检查点 l03 这一道题，完成后立即提交。

用你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-kimi-code","checkpoint":"l03","code":"<8-char code>"}]}'

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

文件

starter 与验证器

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