形式化证明引擎

生成可机器验证的形式化逻辑证明，用于严格核实数学或实证主张的真伪。适用于需要严谨推导和事实核查的场景。

为LLM Wiki声明附加Proof Engine证明。支持内容摄取（提取声明、查找或生成证明、重写页面）和检查（重新验证引用、检测矛盾、报告过期证明）。