sagrada-mcp

Sagrada 用の Model Context Protocol (MCP) サーバー — AI システムの推論状態を追跡・検証し、認証済みのリポジトリ履歴レコードを読み取ります。

Sagrada は Claude Code (および MCP 対応クライアント) に、設計判断、主張の改訂、矛盾、そして現在の知識状態を生み出した編集の暗号検証可能な連鎖について、永続的でコンテンツアドレス型のメモリを提供します。

このリポジトリの内容

PyPI 上の sagrada-mcp パッケージのソースです。インストールしたものを鵜呑みにするのではなく、読んで確認できます。

このリポジトリは 0.3.0 のリリース後に作成されました。最初のコミットはそのリリースのソースをそのまま v0.3.0 タグとして含んでいます。つまり、インストールするコードと読むコードを相互に照合できます:

pip download sagrada-mcp==0.3.0 --no-binary :all: --no-deps -d /tmp/pypi
tar xzf /tmp/pypi/sagrada_mcp-0.3.0.tar.gz -C /tmp
mkdir -p /tmp/tagged && git archive v0.3.0 | tar x -C /tmp/tagged
diff -r /tmp/tagged /tmp/sagrada_mcp-0.3.0 --exclude PKG-INFO   # no output

CI はプッシュのたびにその差分を検証します。main は v0.3.0 より先にあり、未リリースの作業を含みます。pip install sagrada-mcp で得られるのはブランチではなくタグです。

ここにないもの: コンパイル済みの sagrada エンジン (Rust)。これは 12 個の推論トラッカーツールに必要です。PyPI から sagrada-engine としてインストールされ、そのソースは公開されていません。プリフライトゲート — 拒否する部分 — はこのリポジトリにあり、純粋な Python で、エンジンに依存しません。

Related MCP server: @humanaccepted/mcp

インストール

モード 1: pip install (クリーンな venv、リポジトリのチェックアウトなし)

pip install sagrada-mcp

これにより、サーバーと、未公開の依存関係のベンダーコピー (_vendor/README.md 参照) がインストールされます。サーバー 1 つ、21 ツール:

• プリフライトゲートツール 3 つ (preflight_action、list_beliefs、 verify_receipt) は、リポジトリの型付き信念に対して結果を伴うツール呼び出しをゲートし、Ed25519 署名付きのアクション領収書を .sagrada/receipts.jsonl に発行します。各領収書は uvx er1-verify (1.0.1 以降 — バージョン制約に対するピン留めされていないインストールは、検証者が再計算する宣言済みのカバレッジギャップであり、領収書形状 1.0.0 はそれ以前のものです) でオフラインで個別に検証可能です。決定論的でエンジン不要 — 拒否はバイナリホイールに依存しません。

  領収書は、リポジトリごとに初回使用時に作成されるキーペアで署名されます。秘密鍵は .sagrada/operator_key (POSIX ではモード 0600、gitignore され、マシンから出ることはありません) にあり、公開鍵は .sagrada/operator_key.pub にあり、コミットされることを意図しています。verify_receipt は領収書の署名者を、そのコミットされた鍵と、その背後にある署名済みの継承チェーンに対してチェックするため、このリポジトリの鍵ではなかった鍵からの領収書は、静かに合格するのではなく foreign として返されます。以前のバージョンはプロセスごとに鍵を生成していたため、すべての署名がピン留め不可能でした — 「X による署名」で、X は 1 回の実行だけ存在しました。

  これが確立するのは同一性ではなく継続性です: 帯域外でこのリポジトリのフィンガープリントをピン留めし、秘密鍵がマシンから出たことがなければ、署名鍵の交換は明らかになります。 各条項が重要です — 署名はファイルの所有を証明するものであり、ファイルはコピーされます。

  Claude Code には ENFORCED レイヤーもあります: sagrada-preflight-hook コンソールスクリプトを PreToolUse フックとして配線でき、HALT された呼び出しをインバンドでブロックします。パッケージのインストールはそれを登録しません — ここで Claude の設定を編集するものはありません。自分で追加します。preflight_hook.py に貼り付ける正確な 1 行のエントリが含まれています。

• リポジトリレコード (crux) ツール (6 個) は、.crux アーティファクト (SAGRADA_CRUX) があれば完全に機能します。ない場合は役立つエラー文字列を返します。

• 推論トラッカーツール (12 個) は、さらにコンパイル済みの sagrada-engine ホイール (0.3.0 以降のハード依存関係。ホイールがあるプラットフォームでは自動的にインストールされます) が必要です。エンジンが何らかの理由で存在しない場合、トレースバックではなく、欠落している部品を明示する明確な JSON エラーを返します。

モード 2: このリポジトリのクローンから

git clone https://github.com/Cruxia-Labs/sagrada-mcp && cd sagrada-mcp
pip install -e ".[dev]"
pytest -q

サーバー自体を実行するには、stdio で MCP を話し、終了しないことに注意してください — クライアントを待機するため、プロンプトが返ってくることを期待するのではなく、MCP クライアントの設定から実行してください:

python -m sagrada_mcp.server     # blocks; Ctrl-C to stop

サーバーは、インポート可能な場合は実際の sagrada_tracker / sagrada_preflight パッケージを優先し、それ以外の場合は sagrada_mcp/_vendor/ 内のコピーにフォールバックします — したがって、ここでも、それらのコピーの元となるアップストリームツリーでも同じように動作します。クローンでは、ベンダーコピーが実行され、テストスイートはサーバーが使用したものと同じものをバインドします (tests/conftest.py は、pytest ヘッダーでどれかを出力します)。

Claude Code / Claude Desktop での設定

{
  "mcpServers": {
    "sagrada": {
      "command": "sagrada-mcp",
      "env": { "SAGRADA_PROJECT": "/path/to/your/project" }
    }
  }
}

(リポジトリのチェックアウトでは "command": "python", "args": ["-m", "sagrada_mcp.server"] を使用します。)

提供されるツール (21)

プリフライトゲート (3) — 決定論的、エンジン不要

認識は有限でベストエフォートの語彙です。ゲートは、エージェントが実際に発する形式 — インポート、パッケージマネージャーのインストール、デプロイターゲット、環境変数の割り当て — を読み取ることで、ツール呼び出しを信念にマッピングします。認識しない形式で表現されたアクションはマッピングされず、マッピングされていないアクションは何とも競合しないため、ALLOW されます。HALT は、認識されたアクションに対する強制ポリシーチェックとして扱い、封じ込めとして扱わないでください。

推論トラッカー (12) — コンパイル済みの sagrada エンジンが必要

リポジトリレコード / crux (6) — .crux アーティファクトがあればどこでも動作

変換されたリポジトリ履歴レコードの決定論的な読み取り — モデル、ネットワーク、クロックは不要です。すべての回答には、オフライン検証用のレコード参照 (アーティファクト、state_root、領収書) が含まれます。

.crux アーティファクトの公開ビルダーはまだありません。 リーダーはここにあり、stdlib のみであるため、これらの 6 つのツールは、既に持っているアーティファクトに対して完全に動作します — しかし、ビルドするツールはこのリポジトリにはなく、公開されていません。アーティファクトがない場合、各 crux ツールは失敗するのではなくポインターを返し、ビルダーがリリースされるまで、そのポインターが公開ユーザーにとって正直な終点です。

提供されるリソース (3)

環境変数

ライセンス

Apache-2.0。 Cruxia-Labs によって公開されています。