北京
按揭利率砍掉0.1%，每月省15欧，代价是绑一份年费300欧的保险。如果你自己买同保，只要200欧。肉眼算不清的这批账，西班牙开发者 António 用一个规范驱动（Spec‑Driven Development）小项目摆上了桌面。他的目标是建一个能同时比较多达三笔按揭的智能计算器，核心不只在月供数字，而是算清各种捆绑产品的真实盈亏。
António 将此称为“金融裁判”模块。逻辑很直接：把银行要求搭配的寿险、房屋险、工资代发、养老金计划甚至安防警报逐一列进模拟器，每项都带着银行收你的年费和独立市场价。计算器再把所有捆绑带来的利率减让折成每月真省，与产品本身的额外支出对冲。他的例子就是那个0.1%让利——每月减15欧，一年180欧。但若被迫买的保险比市场价贵100欧，你实际被悄悄抽走了20欧。机器不讲情面，只认算式。
我感兴趣的是，这样一个重业务逻辑的工程，António 没走直接的AI代写路线，也没有即兴踩坑。他选了 GitHub Spec Kit 做驱动。这套开源工具用一个命令行 specify 和标准模板，把需求宪法、功能纲要、实施计划全锁进仓库的 .specify/ 文件夹。他说了三重刚需：一，模型无关，Claude、本地 qwen、Gemini 都能接，不绑死一家；二，命令流按 /constitution → /specify → /plan → /tasks → /implement 硬化，改动从说明文档开始，再折射代码；三，所有规格用 Markdown 加 YAML 元数据存在 Git 里，改一行逻辑先改规格，版本历史、回滚路径清晰。
这一套显然跟“让大模型直接怼代码”吵开了。正方说：规范先行，复杂条件分支（比如算捆绑是否值）写在人类可读的规约里，比翻十几页会话记录可维护得多。反方声音也亮：需求天天变，先写规约拖慢节奏，还不如让模型用对话反复试错。António 的站队态度藏在工具选择里：当业务规则需要为“买不买银行保险”这类 if‑else 设死线，规约就是唯一的防杠护栏。他正在建的这个按揭比较器，挂上不同利息类型、不同期限、不同初期佣金，再叠三份同时对比，输入复杂度已经脱离了玩具项目。没有规格墙，AI编出的代码可能在第三次改动时就塌掉计税边界。
一个更深层的推力被略提了一句：生态对比。António 摊出2026年的方法光谱——传统瀑布、TDD、直接AI结对、以及SDD。他没有展开完整表格，但强调一点：当项目既要人类审计（比如算错钱要负责），又要AI辅助执行，一个模型无关、Git原生的规范层等于给审计留底。对你来说，或许就是再也不必用Excel反复按计算器，去猜那个“被白送”的保险到底吞了你多少差价。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
