kremis

概要

LLMの主張を実データで検証するデータ駆動型システム。データに存在しない主張は UNKNOWN、データと直接結びつくものは FACT、データ間の結合から導かれるものは INFERENCE と分類。信頼度スコアはなく、二値判定のみを提供する。

アーキテクチャとデータモデル

入力を EAV（三元組）として取り込み、共起から決定論的グラフを構築。出力は同一入力で常に同じ。コアは純粋な Rust、浮動小数点・非同期を排除。ACID 永続化は redb、HTTP API/CLI、MCP ブリッジを搭載。

実装とエコシステム

kremis-core、axum、clap、Docker イメージ、Claude/Cursor 用 MCP ブリッジ。ライセンスは Apache 2.0。v0.17.8 アルファ、354 テストが通過。

留意点

EAV の取り込みが主な障害。データを信号として構造化してから問い合わせる運用が前提となるため、柔軟性についての意見を歓迎。