Tiden 是一个意图验证（Intent verification）工具，将用户需求保存为可分支和合并的需求记录，每次代码变更都会与这份记录比对。