一键安装此插件:
42plugin install yaniv-golan/proof-engine/proof-engine-wiki
为LLM Wiki声明附加Proof Engine证明。支持内容摄取(提取声明、查找或生成证明、重写页面)和检查(重新验证引用、检测矛盾、报告过期证明)。
从属套包
yaniv-golan/kit/proof-engine