产品应用7

探索规范驱动开发的三款工具

InfoQ2025-11-01

AI 摘要

作者探索规范驱动开发（SDD），试用 Kiro、spec - kit 和 Tessl 工具。指出 SDD 定义不明确，工具存在不适合多数编程问题、审查体验差、控制难等问题，还需从过去规范到代码的尝试中学习。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

马斯克推出X AI四合一付费套餐

本文是作者池建强的亲身体验分享，介绍马斯克xAI推出的Grok、Grok Bot、Cursor、X蓝V四合一付费套餐，分析其性价比、产品力与商业逻辑。

本文编译自Pi团队播客访谈，Pi迎来1.0大更新，推出全新长时持久Agent框架Pi Durable，正式接入此前骂了一年的MCP协议，深度讨论AI编程能力边界与未来方向。

本文报道谷歌发布新一代旗舰大模型Gemini 4 Argon，详解其性能升级、定价优惠、多领域落地成果与安全优化，对比了它与OpenAI、Anthropic旗舰模型的评测成绩，展示大模型落地真实场景的最新进展。

智能体执行长程任务时常出现持续行动却无实质进展的「信念受困」问题，南开大学联合阿里云等机构提出PoS方法，通过显式维护信念状态、检测受困并针对性恢复，在多基准任务中显著提升效果，代码已开源。