yaniv-golan/proof-engine

proof-engine とは？

このスキルは、AIエージェントがクレームに対して形式的で検証可能な証明を生成できるようにします。各事実は計算によって導き出されるか、信頼できるソースから引用され、単なる主張に依存しません。これにより、エージェントの出力の信頼性と透明性が向上し、特にClaude Code、Cursor、Codexなどの開発者ツールやAIコーディングエージェントにおいて、重要な判断やコード生成の根拠を明確に示すことができます。スキルは、証明エンジンとして機能し、ユーザーが入力したクレームに対して、推論チェーンと外部ファクトチェックを組み合わせて検証可能な証明書を出力します。