Tachiko Work

语义电子表格，AI 提议，Rust 验证。

Tachiko Work 是一款面向结构化数据的语义工作空间，让人与 AI 围绕"类型化的含义"协作，而非直接操作原始单元格。借助 GPT-6 Astra 挑战赛中的 Astra，用户的自然语言意图会被转化为类型化提案，再由 Tachiko 基于 Rust 的确定性引擎对公式、依赖与影响进行验证后才真正落地。其上层的 Tachiko Sheet 保留了熟悉的电子表格体验，目前为公开预 Alpha 阶段。