开发到一半，发现Proposal.md和tasks.md中的需求是不一致的，非常窝火。用了大量的token来修正不一致（大概是一个pro号5小时的额度）