CausalForge：形式化支撑的可自我改进因果推断自动研究框架

CausalForge尝试用Lean证明助手闭合因果推断理论研究流程，将包含7,035项机器检查声明的Causalean库，与可选题、提结果、形式化、构造证明并提交人工检查的CausalSmith代理流水线结合。系统还加入“声明审计”，检查形式定理是否忠实表达原始科学命题；代码、形式库与运行记录已公开。