world-model-mcp について
world-model-mcp は AI コーディングエージェント向けの MCP サーバーで、ローカルの SQLite ナレッジグラフによる永続メモリと、Ed25519 と SLH-DSA のハイブリッド署名による任意の監査チェーンを提供します。ローカルでの記憶保持と監査記録のオフライン検証を求める開発者に向いています。
主な機能
- 01ローカル SQLite ナレッジグラフ
- 02セッションをまたぐ修正内容の保持
- 03Ed25519 + SLH-DSA ハイブリッド署名の監査チェーン
- 04オフライン検証用の etch-verify コマンドライン
- 05改ざん検出を示す組み込みデモ
活用シーン
- 01コーディングエージェントのセッション横断メモリ管理
- 02エージェントのイベント記録への署名とオフライン検証
- 03編集前のコードベース制約チェック
MCP 対応
本プロジェクトは MCP サーバーであり、エージェントが各ターンでナレッジグラフを参照し、メモリと監査の機能を MCP ツールとして提供します。
設定
ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。
uvx world-model-mcpWORLD_MODEL_DB_PATHDatabase locationANTHROPIC_API_KEYシークレットOptional - enables LLM-powered entity extractionWORLD_MODEL_EXTRACTION_MODELModel for entity extractionWORLD_MODEL_REASONING_MODELModel for complex reasoningローカルサーバーにはマシン上の実行環境(Node.js 18 以上など)が必要です。設定ファイルの場所はクライアントごとに異なります。
ツール
ローカルサーバーのツールはマシン上で起動して初めて取得できます。メンテナーはまだツール一覧を提供していません。
詳細
World Model MCP
AI コーディングエージェント向けの永続メモリと、オプションの署名付き監査機能。
world-model-mcp は、AI コーディングエージェント向けの永続メモリに、ポスト量子署名付きのオフライン検証可能な監査証跡(FIPS 205 ハイブリッド Ed25519 + SLH-DSA)を組み合わせたものです。MIT ライセンスで、完全にローカルで動作します。
world-model-mcp には、エージェントが毎ターン照会するローカルの SQLite ナレッジグラフが含まれています。ハルシネーションを検証可能にし、修正内容はセッションをまたいで保持され、回帰は反映前に検出されます。監査チェーンを有効にすると、すべてのイベントが FIPS 205 ハイブリッド Ed25519 + SLH-DSA で署名され、オフラインで永久に検証できます。MIT ライセンスで完全にローカルで動作し、Claude Code、Cursor、Codex、Continue、Cline、Windsurf、GitHub Copilot Chat、pi、OpenClaw、Hermes Agent を含む 10 種類以上の AI コーディングエージェントに対応しています。
最新版:v0.16.3。 メタデータの更新です。コードの変更はありません。この wheel に含まれる両方の成果物、つまりコーディングエージェント向け MCP ワールドモデルメモリサーバーと、
etch-verifyオフライン監査チェーン検証 CLI が、PyPI の概要とキーワードに記載されました。どちらも以前のすべてのリリースですでにインストールされていました。オフライン監査チェーン検証ツールを探している人がこのパッケージを見つけられるよう、メタデータを実態に即したものにしました。v0.16.2 では CI の強化に加え、v0.16.0 で導入されたworld-model demoのライブ公証デモがリリースされました(3 件のサンプル判断を実際のハイブリッド署名付きエポックに署名し、VALID を検証した後、1 バイトを変更して改ざん検出がその場で機能することを確認し、元に戻して復元)。全バージョンの履歴はCHANGELOG.mdをご覧ください。
10 秒で試す
pip install -U world-model-mcp && world-model demo
改ざん検知可能なエポックに署名された 3 件のサンプル判断が表示されます。次にデモで 1 バイトを変更して再検証し、改ざんが即座に検出される(INVALID)ことを確認した後、元に戻して再検証します(再び VALID)。オフラインで、アカウントもネットワークも不要です。現在のディレクトリに world-model-demo-receipt.json が作成され、同じレシートをブラウザーで確認できる共有可能な etch.systems/verify#… URL が出力されます。
mcp-name: io.github.SaravananJaichandar/world-model-mcp
マネージドホスト版をお探しですか?
OSS サーバーを自分で実行せずに同じ署名付き監査チェーンを利用したい場合は、etch.systems が、このパッケージをオフライン参照検証ツールとして使用するマネージド版を提供しています。
- 実行するインフラは不要です(最初のイベントを 30 秒で POST でき、サインアップも不要)
- SR 11-7、EU AI Act 第 12 条、ISO 42001、NIST AI RMF、SOC 2 CC7 へのコンプライアンスフレームワーク対応
- 外部アンカリングをエンドツーエンドで提供(Sigstore Rekor + Bitcoin OpenTimestamps)
- キーローテーションと、MCP クライアントツール(Claude Code、Cursor、Continue、Cline、Codex)間の委任に対応した、エージェントごとにポータブルな ID
- オフライン検証ツールは従来どおりです。
pip install world-model-mcp && etch-verify manifest.jsonを実行すると、ホストサービスがオンラインであることに依存せず、ピン留めされた公開鍵を使ってホストされたチェーンを検証できます
curl -X POST https://etch.systems/v1/your-project
ベアラートークンと、MCP 対応クライアントから指定できる MCP エンドポイントが返されます。詳しくはドキュメントをご覧ください。
よくある質問
world-model-mcpとは何ですか? world-model-mcpは、AI コーディングエージェント向けの永続メモリと、ポスト量子署名付きでオフライン検証可能な監査証跡です。MCP サーバーとして公開され、エージェントが各ターンで問い合わせます。完全にローカルで動作し、MITライセンスのPythonと、10以上のAI コーディングエージェント向けのオプションアダプターが付属します。
Mem0、Letta、その他のエージェントメモリツールとはどのように異なりますか?
world-model-mcpは、メモリに加えて、ハイブリッドなポスト量子署名付き監査チェーン(FIPS 205 Ed25519 + SLH-DSA-SHA2-128f)、オフライン参照検証ツール(etch-verify)、さらにホスト型のetch.systemsコンパニオンサービスを通じて利用できる二重の外部アンカリング(Sigstore Rekor + Bitcoin OpenTimestamps)を備えた唯一のエージェントメモリツールです。同業ツール(Mem0、Letta、agentmemory)は、署名付き監査チェーンを備えず、メモリのみを提供します。仕組みごとの内訳は、以下の「比較」表をご覧ください。
監査証跡はポスト量子セキュアですか? はい。クローズされたすべてのエポックに、ハイブリッド署名が付与されます。Ed25519(古典方式)とSLH-DSA-SHA2-128f(FIPS 205のステートレスなハッシュベースのポスト量子署名)です。将来、量子攻撃者がEd25519だけを破ったとしても、同じペイロードに対するSLH-DSA署名が残ります。チェーンを偽造するには、両方の署名を偽造する必要があります。
アカウントなしで、オフラインでレコードを検証するにはどうすればよいですか?
pip install -U world-model-mcp && world-model demoを実行します。デモでは、3つのサンプル判断に実際のハイブリッド署名付きエポックで署名し、etch-verify CLIが読み取るものと同じ形式のマニフェストを書き出して、VALIDと判定されることを確認します。続いて、改ざん検出が機能していることを示すために1バイトを変更してINVALIDと判定させ、元に戻して再検証します。現在のディレクトリにworld-model-demo-receipt.jsonが作成され、ブラウザーでレシートを確認できるetch.systems/verify#… URLが表示されます。登録もネットワーク接続も不要です。
どのAI コーディングエージェントで使えますか?
Claude Code、Cursor、Codex、Continue、Cline、Windsurf、GitHub Copilot Chat、pi、OpenClaw、Hermes Agentに対応しています。それぞれに、github.com/SaravananJaichandar/world-model-mcp-<agent>-starterの専用スターターレポジトリがあります。MCPワイヤーフォーマットは標準仕様のため、MCP対応クライアントであれば同じツールを利用できます。
このOSSパッケージと、ホスト型サービスのetch.systemsのどちらを使うべきですか?
独自のインフラで監査チェーンを実行したい場合や、社内ツールに署名付きメモリを追加したい場合は、このOSSパッケージ(MITライセンス、完全ローカル)をお使いください。コンプライアンスフレームワークとの対応付け(SR 11-7、EU AI Act Article 12、ISO 42001、NIST AI RMF、SOC 2 CC7)と、MCPクライアントツール間で持ち運び可能なエージェントごとのIDを備えた、同じ監査チェーンのマネージドサービスを利用したい場合は、etch.systemsをお使いください。どちらの場合も、オフライン参照検証ツールは同じです。pip install world-model-mcp && etch-verify manifest.jsonを実行すると、OSSで生成されたマニフェストとホスト型サービスで生成されたマニフェストのどちらも、ピン留めされた公開鍵で検証できます。
他のエージェントメモリ+エージェント監査プロジェクトとの比較
エージェントメモリ分野で注目が集まる監査・署名・アンカリングの各側面について、8つのプロジェクトと直接比較しています。world-model-mcpの各セルには、出典区分が付いています。ownは、リリース済み製品で測定・確認した内容、citedは、競合の公開ランディングページ、リポジトリ、またはプレス資料から取得した内容です。
この表の正式な情報源は、ホスト型サービスのリポジトリにあります:world-model-mcp-hosted/src/etch/competitor_matrix.py。どちらかを変更した場合は、両方を更新してください。
| world-model-mcp(このリポジトリ)+ Etch(ホステッド) | Mem0 | Letta | agentmemory | Unicity AOS | Repowise | Trinitite | Caura | FailproofAI | |
|---|---|---|---|---|---|---|---|---|---|
| 署名方式 | Ed25519 + SLH-DSA-SHA2-128f(ハイブリッド) [own] | なし(保存時の暗号化のみ) | なし | なし | BLAKE3 ハッシュチェーン | 決定論的シグナル(署名なし) | 署名付き + ハッシュチェーン(アルゴリズム非公開) | なし | 公開情報なし |
| 耐量子対応 | はい(SLH-DSA、NIST FIPS 205) [own] | いいえ | いいえ | いいえ | いいえ(BLAKE3 ハッシュのみ) | いいえ | 公開情報なし | いいえ | いいえ |
| オフライン参照検証ツール | etch-verify CLI、ストリーミング対応、PyPI パッケージに同梱 [own] | なし | なし | なし | 公開情報なし | なし(SaaS のみ) | ブラウザーベースの検証ツール | なし | なし |
| アテステーション実施頻度の強制 | 定期実行する systemd タイマー + オンデマンド検証 [own] | なし | なし | なし | 公開情報なし | なし | 定期的なアテステーション実行 | なし | なし |
| フレームワークとの対応付け(条文/管理策 ID) | EU AI Act 第 12~15 条、SOC 2 CC6.6/7.2/7.3、ISO 27001 A.12.4/A.14.2 [own] | SOC 2 + HIPAA(バッジのみ、管理策ごとの対応付けなし) | 公開情報なし | なし | 公開情報なし | EU AI Act(対象外であることの主張) | 条文ごとの引用(EU AI Act、SOC 2、SR 11-7) | SOC 2 対応中バッジ | SOC 2 エンタープライズティアのみ |
| ドリフト検出 | エポックごとのチェーン整合性 + アテステーションの傾向 [own] | なし | 成功率 + エラーの追跡 | なし | 公開情報なし | コード健全性スコアの差分 | 決定論的リプレイ + リスクスコアの差分 | なし | 評価スコアの差分 |
| 注釈サポート(チェーン内の署名付き人間のメモ) | pin_annotation MCP ツール、同じチェーンに署名して記録 [own] | なし | なし | なし | 公開情報なし | なし | 公開情報なし | なし | なし |
| ブラウザー検証ツール | あり、/auditor/<slug> のチェーン整合性ウィジェット [own] | なし | なし | なし | 公開情報なし | なし | あり | なし | なし |
| 共有リンク(ログイン不要の監査担当者アクセス) | あり、有効期限付き共有トークン(bs_ プレフィックス、最長 30 日) [own] | なし | なし | なし | 公開情報なし | なし | あり、有効期限付きの監査担当者アクセス | なし | なし |
| 外部アンカー(独立した証人ログ) | 二重:Sigstore Rekor + Bitcoin OpenTimestamps(公開、プロジェクトごとにオプトアウト可能) [own] | なし | なし | なし | 内部ハッシュチェーンのみ(外部ログなし) | なし | 公開情報なし | なし | なし |
| OSS ライセンス | MIT(world-model-mcp) [own] | Apache 2.0 | Apache 2.0 | Apache 2.0 | 公開情報なし | AGPL v3(コア) | OSS ではない | Apache 2.0 | OSS ではない |
| GitHub スター数 | etch.systems/api/oss-stats によるスナップショット [cited] | 61.6k [cited] | 23.9k [cited] | 24.9k [cited] | 7.1k [cited] | 4.2k [cited] | 公開リポジトリなし | 373 [cited] | 公開リポジトリなし |
| 公開されている資金調達額 | ブートストラップ [own] | $24.5M [cited] | $10M [cited] | 公開情報なし | 2026 年 2 月にシード資金 $3M [cited] | 公開情報なし | 公開情報なし | 公開情報なし | 公開情報なし |
| コンプライアンス状況(ランディングページでの主張) | SOC 2 Type I 対応中(2026 年 8 月目標) [own] | SOC 2 + HIPAA(トラスト用サブドメインにバッジを掲載) | 公開情報なし | コンプライアンス対応なし | コンプライアンス対応なし | SOC 2 なし、EU AI Act の対象外であることを主張 | 条文ごとのコンプライアンス説明 | SOC 2 対応中バッジ | SOC 2 エンタープライズティア |
この表の見方:
- 太字のセルは、このリポジトリ(OSS)またはホステッドサービス(etch.systems)で提供される仕組みを示します。
- 他社のセルは、各社の公開ランディングページ、リポジトリ、プレスリリースから引用したものです。当社による測定値ではありません。
world-model-mcpのセルにある[own]は、当社がその仕組みを自ら測定・確認したことを示します。[cited]は、値が第三者の情報源に基づくことを示します。- この表の対象は監査/署名/アンカリングの項目のみです。一般的なメモリー機能(検索精度、アダプターの対応範囲、LLM のサポート)は、以下の 機能 セクションで説明します。
数値
| ベンチマーク | スコア | 詳細 |
|---|---|---|
| SWE-bench Verified repeat-mistake | 単一試行の上限値として +10.2 ポイント(49 件の対応インスタンスで 67.3% → 77.6%)。複数シードの平均効果は、**インスタンスあたり +0.24、95% CI [0, 0.47]**です | 事前登録済み、Claude Code 2.1.177 ヘッドレス、Zenodo DOI 10.5281/zenodo.21076824。単一試行の分割では、同一ドメイン内で +15.0 ポイント、ドメイン間で +6.9 ポイントとなり、回帰はありません。 |
| 矛盾解決 | auto 戦略で 100.0% | 19 カテゴリにわたる 105 組。決定論的(LLM 不使用)。v0.11.0 から提供しています。 |
| Coach-Player 検証 | 完全一致率 100.0% | 人手でラベル付けした 12 組(根拠あり 4、部分的 4、ハルシネーション 4)。独立した Coach LLM によるレイヤー 3 の敵対的検証。v0.12.12 から提供しています。 |
SWE-bench の数値が、実証に基づく主要な主張です。他の 2 つは、リリース済みコンポーネントの内部正確性ベンチマークです。再現用スクリプトは、各ベンチマークディレクトリまたはリンク先のリポジトリにあります。
テスト
リリース済みコードベース全体で、1,494 件のユニットテスト、統合テスト、ファズテストを実施しています。カバレッジの下限は 71% / 66% に設定し、liboqs で SLH-DSA を利用できる CI ランナーと利用できない CI ランナー向けに、2 段階でゲートしています。
# Run tests
pytest -q
# With coverage
pytest --cov=world_model_server --cov-report=term-missing
# Fuzz targets (Atheris, requires Clang / libFuzzer)
python fuzz/fuzz_verify_manifest.py fuzz/corpus/ -max_total_time=60
# Non-Atheris smoke fuzz (runs in every CI pass, no system deps)
pytest tests/test_fuzz_smoke_verify.py -q
特に取り上げる価値のあるテストスイート:
- FIPS 205 SLH-DSA 既知解テスト(
tests/test_fips_205_slh_dsa_kat.py):SLH-DSA-SHA2-128f のパラメーターサイズ(公開鍵 = 32 バイト、秘密鍵 = 64 バイト、署名 = 17,088 バイト)を固定し、誤った鍵・誤ったメッセージ・改変された署名を拒否する署名/検証の往復テストを行います。また、常に検証に成功しなければならない固定 KAT ベクターフィクスチャ(tests/fixtures/slh_dsa_kat_vectors.json)も含みます。 - ストリーミング検証のバイト単位の一致(
tests/test_etch_verify_streaming.py):メモリ内エクスポーターとストリーミングエクスポーターの出力がバイト単位で一致することを固定します。これにより、監査人が記録用の成果物としてマニフェストをハッシュする際、オペレーターがどちらのエクスポーターを使用したかにかかわらず、同じmanifest_sha256が得られます。 - 矛盾ベンチマーク(
benchmarks/contradictions-200/):19 カテゴリにわたる 105 組で、決定論的です。すべてのコミットでauto戦略が 100% になることを固定します。
CI では、すべてのプッシュ時にカバレッジの下限とテストスイート全体をゲートします。.github/workflows/pytest.yml を参照してください。
認証済み監査チェーン(v0.13 以降、オプトイン)
監査証跡の暗号学的な検証が必要なデプロイメント(SOC 2、HIPAA、EU AI Act、または独自の内部統制リストなど)向けです。
export WORLD_MODEL_AUDIT_LOG=on
# then start the world-model-mcp server as normal
初回のオプトイン起動時に、サーバーは既存の audit.db ファイルに新しい SQLite テーブルを 2 つ(tamper_evident_log と tamper_evident_epochs)作成し、最初のエポック終了時に新しいハイブリッド鍵ペアを生成します。それ以降の各イベントは、SHA-256 Merkle チェーンに追加されます(デフォルトでは 1,024 件のイベントで)エポックが終了すると、チェーンのルートにハイブリッド Ed25519 + SLH-DSA-SHA2-128f エンベロープで署名します。従来型とポスト量子の両方に対応しているため、仮に楕円曲線暗号が破られても監査証跡は保護されます。
- オフラインで永久に検証可能です。
etch-verifyCLI は PyPI パッケージに同梱されており、監査人は最初にダウンロードした後、ネットワーク接続なしで自分のノートパソコン上で実行できます。 - 署名は順序だけでなく作成者も証明します。ハッシュチェーン方式では並べ替えがなかったことは証明できても、誰が署名したかは証明できません。このチェーンはその両方に答えます。
- ダッシュボード、サインアップ、外部サービスは不要です。ローカルの SQLite を使用して、プロセス内で完結して動作します。
詳しい説明はdocs/AUDIT_LOG.mdをご覧ください。
KMS 管理の鍵、パブリック透明性ログ、Sigstore Rekor + Bitcoin OpenTimestamps への外部アンカリング、コンプライアンス担当者向けの運用ダッシュボードを追加したホステッド版については、以下のEtch コンパニオンをご覧ください。
クイックスタート
最も一般的な3つのインストール方法です。それ以外のすべての対応クライアント(Cursor、Cline、Codex、Continue、Copilot、Windsurf、Goose、pi、OpenClaw、Hermes など)については、etch.systems/docs/install をご覧ください。
オプション1:Claude Desktop(ワンクリック)
Releases から最新の .mcpb をダウンロードし、Claude Desktop にドラッグします。フック、MCP サーバー設定、依存関係が自動的にインストールされます。
オプション2:Claude Code/IDE プラグイン(pip install)
# 1. Install the package
pip install world-model-mcp
# 2. Set up in your project (auto-seeds the knowledge graph from existing code)
cd /path/to/your/project
python -m world_model_server.cli setup
# 3. Restart Claude Code
# Done. The world model is pre-populated and active.
次のステップ(任意): ローカルの署名付き監査ログを、ホスト型 Etch 公証サービスを使って監査者が検証可能なチェーンにします。KMS によるキー管理、公開透明性ログ、外部アンカリング、監査者向け共有リンクを利用でき、インフラを運用する必要はありません。ホスト型の連携サービス:Etch をご覧ください。
オプション3:リモート/MCP トンネルでのデプロイ向け HTTP トランスポート
pip install 'world-model-mcp[http]'
python -m world_model_server.server --transport http --port 8000
Streamable HTTP 経由で MCP を公開するため、リモートエージェントがネットワーク経由で接続できます。認証、CORS、リバースプロキシの設定については、docs/http_transport.md をご覧ください。
その他のクライアント
OSS CLI からインストールします。各コマンドは、そのクライアントに適した設定を書き込みます(インタープリターパスにはデフォルトで sys.executable を使用し、クライアントごとの形式に対応しています。また、--force と --dry-run フラグにより、既存の設定を安全に上書きできます)。
python -m world_model_server.cli install-cursor # Cursor
python -m world_model_server.cli install-cline # Cline
python -m world_model_server.cli install-codex # Codex
python -m world_model_server.cli install-continue # Continue (also --global)
python -m world_model_server.cli install-copilot # GitHub Copilot Chat (VS Code Insider)
python -m world_model_server.cli install-windsurf # Windsurf
python -m world_model_server.cli install-pi # pi
python -m world_model_server.cli install-openclaw # OpenClaw
python -m world_model_server.cli install-hermes # Hermes (MCP mode)
python -m world_model_server.cli install-hermes-provider # Hermes (Elixir-native provider)
クライアントごとの詳しい手順(検証コマンドとトラブルシューティングを含む)は、etch.systems/docs/install をご覧ください。
機能
world-model-mcp は、AI コーディングエージェントとその作業の間に位置する、時間軸を扱うナレッジグラフです。コードベースから事実、エンティティ、制約を記録し、編集の時点ですべてのコード変更を学習済みの制約に照らして検証します。また、コンテキストウィンドウが圧縮された後に関連するコンテキストを再注入し、信頼度に基づいて矛盾を解決しながら追跡します。さらに、独立した Coach LLM を介して検索結果を敵対的に検証します。
機能
1. ハルシネーションの防止。 記録されるすべての事実には、来歴情報(asserted_by、confirmer、confirmation_state、evidence_type)が付随します。エージェントが事実を照会すると、回答とともに信頼度スコアを取得します。2つの事実が矛盾する場合は、新しい事実、または信頼度の高い事実が優先されます。優先されなかった事実も superseded_by とともに保持されます。エージェントが、保存された事実が現在も有効かどうかを推測する必要はありません。
2. 修正からの学習。 エージェントを修正すると(record_correction)、関係するエンティティとともに、その修正が独立したイベントとして保存されます。次回、エージェントがそれらのエンティティに関わる情報を照会すると、修正内容が最初に提示されます。修正内容は、セッションをまたいでも、コンテキストの圧縮後も、エージェントの再起動後も保持されます。
3. リグレッションの防止。 すべてのコード変更案は validate_change を通じて検証されます。制約グラフをたどり、編集が反映される前に違反を返します。制約は、コードベースからの自動学習(seed_project)、PR レビューコメントによる強化(ingest_pr_reviews)、手動での記述(record_event)によって取得されます。エージェントには、違反内容、提案、制約の出典が提示されます。
4. Coach-Player による敵対的検証。 Player エージェントが判断案を作成します。独立した Coach エージェントがグラフを再照会して前例を探し、Merkle 証明をたどり、ハイブリッド署名を確認したうえで承認します。Coach は Player の要約を決して信頼せず、毎回、署名付き台帳に照らして再検証します。手動でラベル付けした12組で、完全一致率は100%です。
技術アーキテクチャの詳細は、docs/ARCHITECTURE.md をご覧ください。
MCP ツール
8 つのツールを同梱しています。概要を 1 行で説明しています。各ツールをクリックすると、シグネチャと使用例を docs/mcp/ で確認できます。
| ツール | 機能 |
|---|---|
query_fact | 保存済みの事実を、来歴・信頼度・ソースとともに取得します |
record_event | イベントを監査チェーンに追加します(event_type は固定の列挙型から指定します) |
validate_change | コード変更の提案を学習済みの制約と照合し、違反と提案を返します |
get_constraints | エンティティまたはファイルパターンに一致するすべての制約を一覧表示します |
record_correction | ユーザーからの修正を保存し、次回の関連するクエリで再表示します |
get_related_bugs | 指定されたファイルに関係するバグと、ファイルごとのリスクスコアを取得します |
seed_project | 既存のコードベースをナレッジグラフに一括取り込みします |
ingest_pr_reviews | 最近の PR レビューコメントを制約に変換します |
ツールの詳細なドキュメントは docs/mcp/ にあります。
ホステッド版コンパニオン:Etch
world-model-mcp をローカルで実行していますか?Etch(etch.systems) は、同じ OSS コアを基盤とするホステッド版ガバナンスプレーンです。本番利用の承認に必要なコンプライアンスチーム向け機能を追加しています。
- KMS で暗号化された署名キー(保存時に平文ではありません)
- 署名付きヘッドを備えた公開透明性ログ(スプリットビュー攻撃への耐性)
- Sigstore Rekor と Bitcoin OpenTimestamps による外部アンカリング(二つの独立した証人)
- セッションのトレース、チェーン整合性ビュー、PII スキャン、クライアント回答の PDF エクスポートを備えたオペレーターダッシュボード
- 単独で使える監査 CLI と
/auditor/<slug>のブラウザーベリファイア - 無料プラン。その後は利用に応じた料金体系
同じ暗号プリミティブ、同じ監査ログスキーマを使用し、同梱されている OSS のソースを変更する必要はありません。単独で実行する場合は不要です。
自分にはどちらが適していますか?
| 状況 | 選択肢 |
|---|---|
| ローカルの AI コーディングエージェントに永続的なメモリを持たせたい | world-model-mcp(このリポジトリ、MIT) |
| 6 か月後にエージェントの判断を規制当局に証明したい | etch.systems |
| 裁判所が独自に真正性を確認できる署名付き証拠バンドルが必要 | etch.systems |
| チーム間またはベンダー間で署名付き監査履歴を連携したい | etch.systems |
| 両方を試したい | world-model-mcp でローカルから始め、他者による検証用の署名付き証拠が必要になったら Etch を追加します |
仕組み
world-model-mcp は、SQLite を基盤とする時間ナレッジグラフを公開する MCP サーバー(stdio または Streamable HTTP)です。エージェントの各ターンでグラフを照会し、コード変更や修正が行われるたびに書き戻します。起動時にサーバーは既存のコードベースから自動的にシードし、終了時には適切にフラッシュします。
.claude/world-model/ にある 6 つのデータベース:
entities.db:ファイル、関数、クラス、シンボルfacts.db:来歴と信頼度を伴う意味的な事実relationships.db:依存関係、呼び出し、インポートconstraints.db:エージェントが遵守すべき学習済みルールsessions.db:セッションごとのコンテキスト追跡events.db:不変のイベントログ(有効化した場合は監査チェーン)
図を含むアーキテクチャの詳細は docs/ARCHITECTURE.md にあります。
設定
環境変数(すべて任意):
| 変数 | 用途 | デフォルト |
|---|---|---|
WORLD_MODEL_AUDIT_LOG | 署名付き監査チェーンを有効にします | off |
WORLD_MODEL_DB_PATH | SQLite データベースのディレクトリを上書きします | .claude/world-model |
WORLD_MODEL_TELEMETRY | 匿名の OSS テレメトリーをオプトインします(プライバシーを参照) | off |
ANTHROPIC_API_KEY | 任意の LLM ベース機能を有効にした場合にのみ使用します | なし |
設定の詳細は docs/CONFIGURATION.md にあります。
プライバシーとセキュリティ
- テレメトリはデフォルトで無効です。
WORLD_MODEL_TELEMETRY=onでオプトインすると、インストール単位の集計指標がetch.systems/api/telemetry/ingestに送信されます(エンドポイントの URL。ソースコード、プロンプト、個人を特定できる情報は含まれません)。DELETE /api/telemetry/install/{install_id}による削除請求に対応しています。 - コア機能の動作に
ANTHROPIC_API_KEYは必要ありません。 一部のオプション機能(Coach-Player Layer 3 の検証、LLM を利用した再ランキング)では、キーが指定されている場合に API を使用します。キーがなくても、その他すべての機能は動作します。 - セキュリティの問題を報告する場合: [email protected] にメールしてください。PGP キーはご要望に応じて提供します。
詳細については、docs/PRIVACY.md をご覧ください。
コントリビューション
コントリビューションを歓迎します。開発環境のセットアップ、コーディング規約、言語サポートの追加、テストの作成、PR の提出については、CONTRIBUTING.md をご覧ください。
特に次の分野で協力を求めています。
- 言語パーサー(Go、Rust、Java、C++)
- MCP クライアントアダプターの追加
- フレームワークとの統合(LangGraph、CrewAI、AutoGen、LlamaIndex。ホスト型リポジトリにはスターター用のシムが用意されています)
benchmarks/へのベンチマークの提供
初めて PR を提出する前に、CLA.md をお読みください。
ライセンス
MIT License。商用・個人利用ともに無料です。
リンク
- 全バージョンの変更履歴: CHANGELOG.md
- ドキュメント: docs/
- ホスト型サービス: etch.systems
- ベンチマーク: benchmarks/ + coding-agent-memory-benchmark
- サポート: [email protected]
- Zenodo(正式な引用): DOI 10.5281/zenodo.20834508
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。