JetBrains 把一个代理式 IDE 以 Apache 2.0 开源，仓库叫 Thinkrail，包着 pi 这个编码代理。作者读完仓库后认为，名字不重要，里面三个想法才重要。第一是隔离靠工作树而不是靠提示词：每个工作区都是一个带独立分支的 git worktree，多个代理并行工作，你的 checkout 一步不被碰，合并成为显式的协作点。第二是让 SPEC.md 成为事实来源：AI 代理不可靠的根因是上下文随对话一起死掉，Thinkrail 在每个模块旁边放 SPEC.md，形成一个图谱，由代理通过专门的 spec_ 工具自己维护，于是意图能活过这次会话——文档不是工作的副产品，而是 IDE 当作事实来源去维护的产物。第三是彻底没有账号体系。作者也留下疑问：一个代理既能读、又能改的规格，离被一次提示注入改写只有一步之遥。