DataGrout Invariant

製品概要

InvariantはAIエージェント向けの意味論的コード分析ツールです。単なるリンターではなく、LLMベースの意味理解と決定論的Prologルールを組み合わせたニューロ-シンボリックエンジンにより、コードの事実を抽出し整合性を検証します。

主要機能

• code_lens: ソースコードを分析し、関数呼び出し・意図・副作用といった構造化された事実を抽出
• code_query: Prologエンジンで事実を照会。LLMはクエリ時に使わず、結果は再現性・即時性を持つ
• diff_analyzer: 変更前後のコードと目標を与えると、変更が本当に意図通りかを示す整合性スコアを返す
• review: 自動コードレビュー。基準・制約・合格/不合格・推論を提供

エージェントのフィードバックループ

エージェントのシステムプロンプトに2行を追加すると、変更後にdiff_analyzerが自動実行され、整合性スコアが閾値を下回る場合はエージェントが修正を行う。

価値と利用

• 目標整合性を検証可能な性質として扱う
• 自己修正・バグ予防・高品質・安全なコード配信を促進
• CLIでローカル利用、データはDataGroutへアップロードされサーバー照会を支援