把问题做小，把证据做实.

从开发代理交接到日常自动化，我偏爱边界清楚、成本克制、可以亲手验证的产品。

我关注开发工具、自动化、数据产品，以及能够用小规模原型验证的现实问题。个人站不会把工作区里的每个实验都包装成产品；只有公开范围、状态和支持路径清楚的项目才会出现在应用目录。

SwitchProof 是首个公开项目：它帮助开发者在不同 AI 开发代理之间交接工作，并保留可核验的上下文、能力依赖与测试证据。

Sutie 是第二个进入公开目录的验证项目：它探索如何在不改写普通复制粘贴的前提下，为网页摘录、复制历史和 App 级流向保留可回查的来源。