作品

把任务排成一条时间线，让每个番茄都有出处

Flutter 写的时间管理应用。任务、番茄钟、时间记录被串成同一条可回看的时间线，而不是散落在几个互不相通的页面里。v2.3 起了工具调用层，可以直接用自然语言操作任务。

把口述的硬件约束，编译成可执行的指令流

面向硬件验证的指令流生成器。输入是人话描述的约束（标量取值范围、dtype 枚举、多维地址不交叉……），输出是 replay 驱动的 YAML 指令流。难点不在解析，在约束求解：域传播、连通分量，必要时回退到求解器。

就是你现在看的这个站

Astro 生成的纯静态站点，没有后端、没有数据库。所有工具都在浏览器本地运行，输入的内容不会离开你的设备。首页、作品、工具、文章四个栏目共用一套版式。