挑战课程
你来解题,verify.py 判卷。
一句话开始——Agent 取回课程文件,你们一起按任务契约解题,python verify.py 检查代码关卡;完成课后问题后,由你明确确认自报关卡。 不下载,也不把自报结果当证书。想要引导?COURSE.md 提供可选的 Agent 授课模式。所有课程中英文同步发布。
需要一个能执行命令并联网的编码 Agent——每门课程页都带自己的一句话入口;你不需要下载任何东西。
从这里开始
你的 Agent 工具课
七门免费课程,每个编码 Agent 一门。第 1 课固定三步:装好工具 → 装上 FlyPython Skill(打开联网)→ 让 Agent 取回课程文件。
用 Claude Code 实战 Python
一门挑战课程:从一个跑不起来的脚本到交付一个经过测试与验证的 Python 报表工具——一句话即可在你的 Agent 里开课,课程文件由 Agent 自己获取。任务契约、最小变更与客观的通过/失败证据;内含可选的 Agent 引导模式。
02上手 OpenAI Codex 应用
与 Claude Code 课程相同的已验证 Python 工作流——任务契约、有界改动、客观 verify.py 证据——在 Codex 桌面应用里实战:线程、审批、AGENTS.md 与 diff 审查。
03上手 Cursor
与旗舰课程相同的已验证 Python 工作流——任务契约、有界改动、客观 verify.py 证据——在 Cursor 里实战:Agent/Ask/Plan 模式、.cursor/rules 项目规则、接受/拒绝式 diff 审查。
04上手 DeepSeek Harness
与旗舰课程相同的已验证 Python 工作流——任务契约、有界改动、客观 verify.py 证据——在 DeepSeek Harness 里实战:插件组装的 Agent 与可审计的只增轨迹。
05上手 Kimi Code
与旗舰课程相同的已验证 Python 工作流——任务契约、有界改动、客观 verify.py 证据——在 Kimi Code 里实战:内置 explore/plan/coder 子代理把读、规划、改码分在三条道上。
06上手 ZCode
与旗舰课程相同的已验证 Python 工作流——任务契约、有界改动、客观 verify.py 证据——在 ZCode 桌面工作区里实战:Goal 模式任务拆解,Git 状态作为你的审查面。
07上手 GitHub Copilot新课
经过验证的 Python 工作流——任务契约、有界改动、客观 verify.py 证据——在 VS Code 的 GitHub Copilot 里手把手教:由 Agent 角色跑闭环,你监督权限、指令文件与 diff。
Skill 驱动
每门课都只隔一句话
粘贴课程页上的入口语句,Agent 负责取文件、验证与提交。可以先在线读题——无需账号。
Agent 规则的单一真源
不再同时维护彼此打架的 AGENTS.md、CLAUDE.md 与 .cursorrules——亲手构建一个能证明仓库只有一处规则真源的检查器。
02从「能跑」到「能上线」:验证 AI 写的代码
为你的 AI 项目补上缺失的发布证据机器——一个 ship check:解析实际跑了什么、拒绝零测试项目,并写出诚实的交付记录。
03用 MCP 给你的 Agent 装上工具(Python)
用纯 Python 构建一个无状态的 MCP 工具服务——JSON-RPC 2.0 分发、schema 校验、错误隔离与 2026-07-28 的 input_required 多轮交互。
04用 Python 构建 LLM 功能:结构化输出、工具调用与评测新课
把演示日的一次模型调用变成能上线的功能——校验结构化输出、给工具调用设白名单、带着错误信息重试、拿不准就转人工而不是瞎猜,并用分母覆盖全部用例的离线评测来度量。
05AI 写的 Python 代码的安全审查新课
像攻击者一样审查一个看起来没问题、AI 风格的笔记服务——一次一类地堵上 SQL 注入、路径穿越、硬编码密钥、快速密码哈希和 pickle 会话,再通过重放攻击证明每处修复。
06用 Agent 做探索性数据分析
一门挑战课程——让你的 Agent 处理一份脏的商店导出数据,产出一份经过真值校验的 EDA 摘要。
07用 Agent 做数据可视化
一门挑战课程——把干净的销售数据变成三张有规格的图和一份 summary.json,其中数字与数据集校验一致。
08用 Agent 从分析到报告
一门挑战课程——把经过验证的 EDA 摘要变成 report.json + report.md,其中每个数字都可原样回溯到输入。
09pytest 实战闭环——写得出抓得住 bug 的测试 Pro
一门挑战课程——给定正确的库和一个预埋 bug 的变体,写出一套 pytest 套件(fixture、parametrize、raises):在参考实现上全过,在 bug 变体上必须挂。抓不住 bug 的套件不算套件。
10打包并发布一个 CLI Pro
一门挑战课程——把 Markdown 索引脚本变成可安装的包:pyproject 元数据、console 入口、构建出的 wheel 与 sdist 由契约套件验证——包括在全新虚拟环境里真实安装并运行。
11一个经过验证的 Web API Pro
一门挑战课程——一个 FastAPI 片段服务在六处违反了自己的 spec。修好 app 直到提供的契约套件全绿,再为 spec 没钉死的行为写测试,并证明它们能抓住植入的回归。