TDLP 发布 0.9.0：四台 MCP 服务器用双账本与 Lean 证书约束 LLM Agent 的工程声明

davechendatascience 发布 Theoretically_Driven_LLM_Planning（tdlp）Claude Code 插件 0.9.0，包含四个 MCP 服务器：consistency-belief 用证伪探针检验设计是否从公理推出，component-belief 运行声明测试检验组件，stamp-monitor 只读检查证据是否过期，graph-snapshot 把设计画成单页。核心原则是 Agent 无写入信念的路径，声明从 git HEAD 读取，证据按内容戳绑定到被测文件，采纳决策需人类 approver，goals.yaml 由人类拥有并用 commit-msg hook 拒绝 Agent 修改。