---
title: "Salix · Comma ドキュメント"
description: "Comma のエージェントを動かすエージェントハーネス。"
url: https://comma.surf/ja/docs/salix
language: ja
---

Salix

# Salix

Salix は Comma のエージェントハーネスです。すべての Comma エージェントを動かす、分散型でマルチテナントのランタイムで、Elixir と Lean で書かれています。

## 少ないリソースで、たくさんのエージェント

従来のエージェントは、専用のサンドボックスを持ちます。エージェントが働いている間ずっと動き続けるコンテナや VM です。Salix は、そのサンドボックス 1 つ分の CPU とメモリで、数百のエージェントを動かします。

Salix は各エージェントをクラスターのノードに配置し、クラスターが変わるとエージェントをノード間で移動します。ノードをまたいで、エージェント間のメッセージも届けます。1 つのクラスターには数百のノードを置けます。

## エージェントはサンドボックスの外で動きます

エージェントの作業の多くは、コンピューターを必要としません。読む、計画する、書く、連携したアプリを呼び出す、といった作業です。Salix はこうした作業を、サンドボックスではなくハーネス自体の中で実行します。

エージェントにコンピューターが必要になると、Salix はクラウド VM を起動します。VM は使い終わった後もストレージを保つので、ファイルやインストールしたツールはエージェントが残したままです。作業が終われば、VM は再びスリープできます。

## Elixir と Lean で構築

Salix は Elixir と Erlang VM の上で動きます。各エージェントは、それぞれが軽量なプロセスです。システムの一部が失敗しても、その部分は再起動し、ほかのエージェントは動き続けます。

エージェントループの中核は Lean で書かれています。ターンの中で次に何をするか、データがどこへ流れてよいかといった制御の判断は、機械検証された証明付きの Lean コードとして実行されます。

[Loop](https://comma.surf/ja/docs/salix/loops) は [Spinfoam](https://github.com/AFK-surf/spinfoam) の上で動きます。Spinfoam の JIT コンパイラーは、メモリ安全なコードを生成することが形式的に検証されています。

## 常時稼働のサンドボックスなしで、常に稼働

エージェントは [Loop](https://comma.surf/ja/docs/salix/loops) を使って、あなたのデータを 24 時間見守れます。Loop はクラスター上で動く小さなプログラムです。対応が必要なときだけエージェントを起こすので、何も起きない時間にはモデルのトークンを使いません。

## あなたのマシンと、あなたのランタイム

Salix には [Linux や macOS のマシンをつなげます](https://comma.surf/ja/docs/salix/devices)。エージェントはそのマシンでコマンドを実行し、ファイルを開きます。Comma はこのしくみで、あなたの Mac で作業します。

Salix には独自のエージェントループがあります。エージェントは、選んだデバイス上で Codex や Claude Code などの[外部のエージェントランタイム](https://comma.surf/ja/docs/salix/agent-runtimes)を使うこともできます。

## このセクションの内容

- [Loops](https://comma.surf/ja/docs/salix/loops)：eBPF にコンパイルされる、常時稼働のバックグラウンド作業。
- [デバイス](https://comma.surf/ja/docs/salix/devices)：自分のマシンをつなぐ方法。
- [エージェントランタイム](https://comma.surf/ja/docs/salix/agent-runtimes)：組み込みのエージェントループ、Codex、Claude Code。