yaniv-golan

形式化证明引擎

AI代理技能包，用于创建可验证的形式化证明。所有事实均经过计算或引用，杜绝主观断言。