Froglet

cargo run -p froglet-verify -- conformance/kernel_v1.json

目次

• 概要
• 製品モデル
• コンポーネント
• クイックスタート
• ボットの利用形態
• 検証
• 現在の対象範囲
• ドキュメント

概要

ローンチ準備、2026 年 10 月 2 日： 現在の対象範囲は、ネイティブ MCP による選択データの無料共有と、範囲を限定した Wasm であり、設定済みの A2A をオプションで利用できます。本番環境への引き継ぎと明示されている残りのゲートを参照してください。ローカルのソフトウェアチェック、ローカルパッケージ、公開ドキュメントサイトは、新たな本番コンピューティング環境のデプロイや不変リリースの適格性を証明するものではありません。

開発チェックポイント、2026 年 10 月 1 日： 無料のネイティブ MCP ワークフロー、オプションの設定済み A2A トランスポート、範囲を限定した Wasm 計算による選択データの共有に関する作業を再開しました。最終候補の実際の Codex CLI ワークフローと抽出済みデモバンドルは、現在の Apple Silicon Mac で適格性を確認済みです。同じ本番環境入力を使用し、隔離された Linux arm64 開発コンテナでも、625 件のライブラリテストと 9 件のネイティブ MCP テストに加え、用語ワークフローに合格しました。ライブラリテスト 13 件は実行対象外でした。Python の OS 隔離と Linux エージェントホストは、引き続き未評価です。Claude Code のホスト適格性確認は、サインインができないため保留中です。選択データ／プロファイルの例と、範囲を限定したローカル容量についてはチェックを記録済みです。クリーンなマシン、公開コンピューティングの HTTPS／容量、初回ユーザーへの価値は、引き続き個別のゲートです。現在の作業と適格性確認のエビデンスを参照してください。 公開ドキュメントサイトは10月1日に復旧しました。確認済みの7つのルートがHTTP 200を返し、ローカルビルドのバイト列と一致しました。デプロイ記録と残るゲートをご覧ください。最後に確認されたホスト型コンピューティングの試験は利用できない状態でした。この確認では、そのデプロイを再認定していません。本番環境と利用可能なホスト型コンピューティングの認定は引き続き未完了です。不変の v0.4.7-beta.1 プレリリースを公開しました。ダウンロードしたApple Siliconバイナリは、別途実施した決定論的なlocalhostリプレイに合格しました。配布とリリース済みMacの正確な証拠には、別個のネイティブMCPによるMacからFlyへの実証も記録されています。隔離された1台のテストホストで、上限を設けた無料の6ケース、再起動後の永続性、オフライン時のタスク復旧を確認し、現在はそのホストを削除済みです。この実証は、本番環境、負荷、新しいエージェントホスト、クリーンなオペレーティングシステム、または有料運用を認定するものではありません。 9月の一時停止とロールバックの記録は保持されています。ファイルのダウンロードは引き続き実験段階であり、Node／UI／リレーの認定は未完了です。 汎用CPUジョブ、GPUのレンタル、新たな決済関連の作業は、再開した対象範囲に含まれません。

任意のリサーチプロファイルでは、名前空間、バージョン、フィールド型、単位、来歴、マッピングの前提を明示します。最後のローカル例では、固定された公開GOカタログを100行と40行のページ単位で取得し、検証済みの受領記録を確認します。これはデータ交換と宣言されたメタデータの互換性を示すものであり、科学的な正確性や独立したユーザー需要を示すものではありません。

1台の共有マシンで、独立したリクエスターIDを使う8つの小規模なワークフローを同時に実行したところ、計測した一連のテストではエラーなく完了しました。16件と32件の場合、選択されたデータを使う6つのジョブが4プロセスの上限に達し、それぞれ個別に検証された失敗チェーンを返しました。リクエスターIDを共有する場合、同一のリクエスター／ワークロード／条件に対するQuoteは引き続き毎秒約1件に制限されます。競合はDealの受付前に失敗するようになり、保留中のリクエスター送信は残りません。これらの測定結果は、本番環境での処理能力、性能の優位性、開発時間の短縮を示すものではありません。ローカル認定の詳細をご覧ください。

現在の製品候補は、**「このカタログを別のエージェントが使えるようにする」**ことから始まります。CodexまたはClaude Codeを使って、選択したJSON、型付きCSV、SQLiteデータ、または小規模なWasm関数を用意し、ローカル例を実行して、公開の明確な承認を求め、プロバイダー／サービスの共有リンクを返せます。ネイティブ設定では既存のエージェント設定が保持されます。受け取る側もnpmを使わず、同じネイティブ統合を利用できます。

公開ワークフローと認定ゲートをご覧ください。これは公開プレリリースです。クリーンなマシンでのエージェントテスト、このプロファイルを経由する実際の公開リレージャーニー、初回ユーザーによる受け入れは、引き続き認定ゲートです。初回ユーザー向けトライアルキットでは、セットアップの使いやすさと、有用なジョブであることの証拠を分けて評価します。対応対象はApple Silicon搭載のmacOS、およびLinux x86_64／arm64です。ホストはオンライン状態を維持する必要があります。 ローカルでのキャプチャ済みプログラムのリプレイで、証拠がすべてそろいました。Alice が保持していた 81,222 バイトの Wasm プログラムは、独立して固定された 4 つの回答と一致し、受理された 7 つの署名済みチェーンすべてがオフラインで検証されました。7 つには、オーナー制御 1 件、選択データの取得 1 件、プログラム実行 4 件、別のループプログラムの予算超過エラー 1 件が含まれます。完了済みのデータおよび計算のリトライでは、Bob の停止後に Alice を再起動すると、キャッシュ済みの結果が復元されました。この履歴リプレイでは、Bob の停止中に get_task が HTTP 502 を返しました。10 月 3 日の修正により、保存済みの終端タスク証拠をローカルで再検証できるようになりました。署名されていないタスクや未解決のタスクの更新には、引き続き Bob が必要です。現行ソースのローカル回帰テストは合格しました。さらに、新たに最適化したネイティブ候補も、Bob の停止後に Alice を再起動した状態で、7 つのチェーンすべてと、保存済みの Alice の終端タスク読み取り 6 件すべての独立検証に合格しました。パッケージ／リリースのゲートとウェブサイトの公開は、引き続き別途確認が必要です。

これは、以前の実際の Codex セッションで作成されたプログラムの決定論的なリプレイです。その以前の新規セッションでの適格性確認は、完全なチェーンが記録されず、永続的な Codex 設定が変更されたため、引き続き失敗と判定されています。このリプレイでは、LLM、コンパイラー、エージェント設定の操作を開始しません。再利用可能な手順書とローカルでの最終化に関する証拠を参照してください。

Froglet は、3 つの製品形態に共通する、署名付きの経済的プリミティブを 1 つ提供します。

ボット向けの主な統合インターフェースは、意図的にシンプルに設計されています。

• OpenClaw/NemoClaw のプラグイン ID は froglet の 1 つです（integrations/openclaw/froglet/）。
• integrations/mcp/froglet/ に MCP サーバーが 1 つあり、npx froglet-mcp で使える froglet-mcp として公開されています。また、依存関係を最小限に抑えたネイティブブリッジも froglet-node mcp で利用できます。
• どちらのインターフェースも、ホスト（Claude Code、Codex、Cursor、Windsurf など）にエージェント向けツール froglet を 1 つだけ登録します。主なアクションは 2 段階の marketplace_publish です。1 回目の呼び出しでは変更を加えない計画を作成し、2 回目では承認済みの正確な consent_hash を渡す必要があります。ネイティブアダプターと JavaScript アダプターは、どちらも同じ Rust 公開モジュールとプロバイダー制御コントラクトを使用します。
• froglet-node バイナリは、デーモン（プロバイダーとして稼働）と作成者用 CLI（froglet-node init／build／publish／whoami、prepare-service、invoke、doctor、check-updates の実行）の両方として機能します。status --open --json は、有効期間の短い読み取り専用のローカルステータス URL を返します。

ボットは、OCI イメージを出発点とせずに、小規模でスクリプト可能なサービスを直接作成し、ローカルで検証して公開できる必要があります。 OCI コンテナーも、引き続きサポート対象のパッケージングおよびデプロイ方法です。

製品モデル

• すべての Froglet ノードはリソースを公開し、リモートリソースを呼び出せます
• 公開リソースは、ボットが作成したプロジェクト、明示的なソース、または事前構築済みアーティファクトを基盤とする実行バインディングです
• スクリプト化可能なサービスを簡単にボットで作成し、ローカルでチェックできることは、製品の中核的な要件です
• 署名付きアーティファクトでは、アイデンティティが第一級の要素です
• セルフホスト可能なプロバイダー向けに、クリアネット HTTPS、アウトバウンドリレー HTTPS、Tor v3 オニオン転送を登録方法としてサポートしています。ブートストラップでは、デフォルトで公式リレー URL とサフィックスを計画しますが、無効のまま保持されます。正確かつ永続的な許可が与えられてエンドポイントが準備完了になるまでは、公開はフェイルクローズします。構成が計画されていることは、その公開運営サービスがデプロイ済みであることを意味しません。

メモ

マーケットプレイス、ランキング、インセンティブ、ブローカーのポリシーは、プロトコルの上位レイヤーに属します。 決済手段はローカルまたはセルフホスト可能な運営者向けのアダプター層の機能であり、通常の購入者オンボーディングには使用しません。 このリポジトリでローンチ時に提供するアダプターは Lightning、Stripe、x402 です。Lightning と x402 には、適合性ベクトルを備えた標準化済みのカーネル決済確定メソッドがあります。Stripe の stripe_mpp.v1 レシート形式は標準化されていますが、暗号学的に検証されるのではなく、アテステーションに基づきます。署名付きインボイスバンドルのフローを使用するのは、Lightning のエスクローのみです。x402 のワイヤ形式（x402.eip3009.v1、conformance/x402_v1.json）は確定していますが、決済手段は未確定です。公開経路では公開されず、いずれのネットワークにもライブのトランスクリプトはありません。ファーストパーティのホスト型トライアル try.froglet.dev は 2026 年 10 月 8 日に終了しました。代わりに、無料の公開ベータ版 https://froglet.dev/services/ をご利用ください。Lightning と Stripe の公開決済トランスクリプトが確認されるまでは、ホスト型の有料決済手段が稼働中だと表明してはなりません。また、Froglet を試すためだけに、ユーザーに LND のチャネルや決済シークレットの管理を求めてはなりません。

コンポーネント

製品として、Froglet は提供と利用の両方が可能な単一のノードです。 リファレンス実装では、次のバイナリを公開しています。

ヒント

マーケットプレイスとの連携は、Froglet の公開機能の一部です。ランタイムは FROGLET_MARKETPLACE_URL を設定して、デフォルトの公開マーケットプレイスを指定できます。 プロバイダーは、公開 HTTPS URL、アイデンティティに割り当てられたリレー URL、Tor v3 オニオン URL、または申請済みの *.providers.froglet.dev ホスト名を公開した後、そこに自分で登録できます。詳しくは docs/MARKETPLACE.md をご覧ください。

前提条件

バイナリをインストールする場合（最短）： curl、tar、sha256sum（Linux）または shasum（macOS）。 対応環境：Linux x86_64/arm64、macOS arm64。

ソースからビルドする場合： Rust 1.91 以降、Python 3.12 以降（テスト用）、Node 18 以降と npm （Claude Code/Codex の MCP 設定と統合テスト用）。

Docker（任意の代替手段／コントリビューター向けスタック）： Compose v2 を備えた Docker。

クイックスタート

正式なオンボーディングの手順は docs-site/src/content/docs/docs.mdx にあります（learn/ インデックスはレガシールートとして残されています）。 製品とコードベースの概要にはリポジトリの README、公開ローンチ手順には docs-site のマニュアル、仕様、運営者向けの注意事項、連携リファレンスには docs/ をご利用ください。

公開ローンチの導線は、引き続き次の 2 つだけです。

1. パブリックベータを試す

• ブラウザーで https://froglet.dev/services/ を開きます。インストール、サインアップ、招待は不要です。実際のリモートノードで、制限付きの Wasm プログラムまたは合成カタログクエリを実行し、ブラウザーが検証する署名付きの証拠を返します。
• 対象範囲と制限事項： docs-site/src/content/docs/learn/cloud-trial.mdx
• 以前のホスト型トライアル try.froglet.dev（およびその ai.froglet.dev オリジン）は、2026 年 10 月 8 日に終了しました。詳しくは docs/HOSTED_TRIAL.md をご覧ください。
• パブリックベータでは、有料のレール、永続的なアイデンティティ、サービスの公開、マーケットプレイスの充実度、汎用的なランタイムアクセスは証明されません。

2. ローカルで実行する

• まず、 docs-site/src/content/docs/learn/quickstart.mdx を確認してください
• 次に、 docs-site/src/content/docs/learn/agents.mdx と docs-site/src/content/docs/learn/payment-rails.mdx を確認してください
• セルフホストと運用者向けの追加情報は、docs/DOCKER.md、 docs/GCP_SINGLE_VM.md、および docs/MARKETPLACE.md にあります

ゼロから構築する、最小限のローカルスタック：

set -eu
repo=AlitheaBio/froglet
metadata="$(mktemp "${TMPDIR:-/tmp}/froglet-release.XXXXXX")"
bootstrap="$(mktemp "${TMPDIR:-/tmp}/froglet-agent-bootstrap.XXXXXX")"
release_url="$(curl -fsSL --proto '=https' --proto-redir '=https' --tlsv1.2 -o /dev/null -w '%{url_effective}' "https://github.com/$repo/releases/latest")"
tag="${release_url%/}"; tag="${tag##*/}"
printf '%s' "$tag" | grep -Eq '^v[0-9A-Za-z][0-9A-Za-z.+-]*$'
curl -fsSL --proto '=https' --proto-redir '=https' --tlsv1.2 -H 'Accept: application/vnd.github+json' \
  -H 'X-GitHub-Api-Version: 2026-03-10' \
  "https://api.github.com/repos/$repo/releases/tags/$tag" -o "$metadata"
[ "$(sed -n 's/^  "immutable": \([a-z]*\),*$/\1/p' "$metadata")" = true ]
[ "$(sed -n 's/^  "tag_name": "\([^"]*\)",*$/\1/p' "$metadata")" = "$tag" ]
asset_record="$(awk '
  /^    \{/ { in_asset=1; name=digest=state=""; next }
  in_asset && /^      "name":/ { v=$0; sub(/^      "name": "/,"",v); sub(/",*$/,"",v); name=v }
  in_asset && /^      "digest":/ { v=$0; sub(/^      "digest": "/,"",v); sub(/",*$/,"",v); digest=v }
  in_asset && /^      "state":/ { v=$0; sub(/^      "state": "/,"",v); sub(/",*$/,"",v); state=v }
  in_asset && /^    \},*$/ { if (name=="agent-bootstrap.sh") print digest "|" state; in_asset=0 }
' "$metadata")"
[ "$(printf '%s\n' "$asset_record" | sed '/^$/d' | wc -l | tr -d ' ')" = 1 ]
bootstrap_digest="${asset_record%%|*}"; asset_state="${asset_record#*|}"
[ "$asset_state" = uploaded ]
printf '%s' "$bootstrap_digest" | grep -Eq '^sha256:[0-9a-f]{64}$'
bootstrap_digest="${bootstrap_digest#sha256:}"
curl -fsSL --proto '=https' --proto-redir '=https' --tlsv1.2 \
  "https://github.com/$repo/releases/download/$tag/agent-bootstrap.sh" -o "$bootstrap"
if command -v sha256sum >/dev/null 2>&1; then actual="$(sha256sum "$bootstrap" | awk '{print $1}')";
elif command -v shasum >/dev/null 2>&1; then actual="$(shasum -a 256 "$bootstrap" | awk '{print $1}')";
else actual="$(openssl dgst -sha256 "$bootstrap" | sed 's/^.*= //')"; fi
[ "$actual" = "$bootstrap_digest" ]
chmod 0700 "$bootstrap"
VERSION="$tag" sh "$bootstrap" plan
# Show the complete plan and wait for approval. Then copy its exact hash:
VERSION="$tag" sh "$bootstrap" execute '<install_approval_hash>'
rm -f "$bootstrap" "$metadata"

plan は安全なデフォルトで、一時ワークスペースの外には何も書き込みません。 不変のリリース、検証済みマニフェストと対象プラットフォーム用バイナリアセットのダイジェスト、ブートストラップ／インストール／構成スクリプトの正確なダイジェスト、永続パス、サービスマネージャーへの影響を解決し、1 つの正規承認ハッシュにまとめます。execute はこの契約を再計算し、リリース、スクリプトのバイト列、プロファイル、パス、または指定されたハッシュが変更されていた場合、永続的な書き込みの前に停止します。

承認後、エージェントのブートストラップは Release Bundle を検証し、チェックサム検証済みの froglet-node をインストールして、launchd/systemd を通じてネイティブのデュアルロールサービスを起動し、ネイティブ MCP 設定を書き込みます。その後、ヘルスチェックに加え、シードを行わない MCP ステータスの証明と、一時的な読み取り専用データの証明によって未公開状態が確認されるまで、処理結果を返しません。 証明ではまず、アクティブなオファーフィードが空であること、および正確に指定したサービス ID のライフサイクルが存在しないことを確認し、公開前に非公開のクリーンアップインテントを記録します。空のフィードを確認した後に限り、そのオファーと作成元ディレクトリの両方を削除します。 証明に失敗した場合、サービスが稼働している間に正確な対象を指定して非公開化を試み、クリーンアップを証明できない場合は復旧マーカーを保持します。 ネイティブのサービス管理が利用できない場合は、ダイジェストを固定したデュアルロールの GHCR イメージがフォールバックとして使用されます。

承認プランには、デフォルトで公式リレーのエンドポイントと DNS サフィックスが含まれます。これは休止状態の設定です。正確に予定された HTTPS URL を算出しますが、WSS 接続を開かず、永続的な公開許可が明示的に与えられるまでサービスを公開しません。オプトアウトするには、plan の前に FROGLET_RELAY_URL='' と FROGLET_RELAY_PUBLIC_SUFFIX='' の両方を設定してください。ファーストパーティの DNS/TLS エンドポイントはまだ稼働確認が済んでいないため、リレー公開はインストール成功の主張ではなく、明示的な外部ゲートとして扱われます。 docs/RELAY.md を参照してください。docs/AGENT_FIRST_PUBLICATION_PLAN.md の実装／証拠マトリックスでは、未解決のクリーンホストおよび外部ゲートを追跡しています。

信頼できるチェックアウトから、使い捨てホストでの証明を次のコマンドで実行します： bash scripts/fresh_host_quickstart_smoke.sh

低レベルの scripts/install.sh は内部用のリリースバンドルインストーラーです。エージェントは、上記の承認ゲート付きブートストラップを使用してください。

ソースチェックアウトの Compose と、ホスト側で生成されるエージェント設定は、 FROGLET_HOST_READABLE_CONTROL_TOKEN=true に依存します。デフォルトのユーザーパスは、クローン不要の /agent ブートストラップです。クイックスタートページでは、手順に沿った MCP 優先の説明、決済レールの選択、Tor 登録、管理されたサブドメイン、およびコントリビューター／ソースモードの代替手段を紹介しています。

# Provider node
FROGLET_NODE_ROLE=provider \
FROGLET_PRICE_EXEC_WASM=10 \
FROGLET_PAYMENT_BACKEND=lightning \
FROGLET_LIGHTNING_MODE=mock \
cargo run -p froglet --bin froglet-node

# Runtime node
FROGLET_NODE_ROLE=runtime \
FROGLET_PAYMENT_BACKEND=lightning \
FROGLET_LIGHTNING_MODE=mock \
cargo run -p froglet --bin froglet-node

ボット向けインターフェース

現在、OpenClaw、NemoClaw、および MCP 互換ホストが、ボット向けの主なインターフェースです。配布状況とマーケットプレイス／プラグインの順序については、 PLUGIN_DISTRIBUTION.md を参照してください。

OpenClaw & NemoClaw

共有プラグインパッケージは integrations/openclaw/froglet を使用してください。 現在の OpenClaw プラグインのインストール／調査とゲートウェイ経由の呼び出しには、 Node.js 22.14.0 以降が必要です。ゲートウェイを介したローカルアクションは、 FROGLET_PROVIDER_AUTH_TOKEN_PATH と FROGLET_RUNTIME_AUTH_TOKEN_PATH に ローカルの data/runtime/ トークンファイルを指定して起動してください。

生成されるローカル OpenClaw 設定では、上記のプロバイダー／ランタイム分割キーを使用します。 レガシーな baseUrl と authTokenPath は、チェックイン済みの NemoClaw の例のような 単一サーフェス構成でも引き続きサポートされます。

1 つの froglet ツールで、以下を利用できます。

• サービスの検出と呼び出し
• marketplace_publish によるエージェント向けサービスの公開
• publish_artifact によるローカル成果物の公開
• 精算状況の確認と現在のマーケットプレイス用ラッパー
• ステータスとタスクのポーリング
• 変更を加えない plan_install による正確なインストール承認と、その後の get_install_guide による承認済みコマンドの生成
• plan_use_case によるインストール後のワークフロー計画
• 生のコンピューティング

クローン不要のネイティブインストールでは、リリース済みバイナリを直接設定します。

froglet-node mcp

このブリッジには Node.js ランタイムは不要です。機能を意図的に絞った froglet ツールでは、status、invoke_service、run_compute、get_task、2 段階の marketplace_publish に加え、公開状況の確認、ログの確認、一時停止、再開、ロールバック、確認後の公開解除をサポートします。永続的なクラウドアダプター関連の処理は、管理対象の操作状況の確認、確認後の調整、確認後の補償処理によって別途確認できます。 local_proof は、オペレーターが同梱のデモカタログを意図的に有効にした場合にのみ利用できます。クリーンインストールでは有効になりません。公開処理では、CLI と同じ標準のプロジェクトローダー、同意ロジック、プロバイダー制御 API を使用します。

制限付きのインライン Wasm 計算とオプションの A2A トランスポートを利用するには、このチェックアウトからビルドしたバイナリ、またはこれらのアクションを含むリリースを使用してください。ローカルの MCP/A2A デモでは、隔離された Alice および Bob のノードを起動し、実際のネイティブ MCP パスを実行します。無料のループバック計算と個別の非公開 A2A 認証情報を使用します。本番用ウォレットの設定や、サービスの外部公開は行いません。サポート対象のプロファイルと残りのリリースゲートについては、相互運用性仕様を参照してください。

JavaScript MCP パッケージは、検出、決済、インストール計画、未加工の計算、既存のホスト統合に対応する、より広範な互換性およびコントリビューター向けの機能を提供します。

npx froglet-mcp

npm パッケージでは、デフォルトで FROGLET_PROFILE=local が設定され、プロバイダーおよびランタイムの URL はそれぞれ http://127.0.0.1:8080 と http://127.0.0.1:8081 を参照します。エージェントは最初に status を呼び出してください。ローカルノードまたはトークンファイルが見つからない場合は、plan_install を呼び出し、不変のリリースタグ、マニフェストとブートストラップの SHA-256 値、永続パス、プロセスマネージャーへの影響、正確なコマンドのプレビューを表示してから、承認を待ってください。承認後に限り、返された release_tag と install_approval_hash を変更せずに get_install_guide に渡し、ホストのシェルから、そのコマンドで検証済み一時ファイルを実行してください。ローカルの健全性を確認した後、コンシューマー、プロバイダー、エビデンス、決済、バッチ、GPU の各ワークフローを実装する前に、plan_use_case を使用してください。 ネイティブの froglet-node mcp ブリッジでは、固定された HTTPS JSON サービスの準備、非公開ファイルへの有効期限付き招待の発行、永続的な受け入れ制限の制御も行えます。制限付き HTTP サービスと招待を参照してください。決済は引き続き別途オペレーターが判断します。現在、公開マーケットプレイスのカナリアでは匿名アクセスが必要です。非公開サービスおよび招待制サービスでは、プロバイダーを直接呼び出します。

現在、GPU 実行は利用できません。リファレンス OCI ワーカーはデバイスを接続せず、使用量も計上しません。GPU 機能は告知されず、GPU リクエストは明示的に失敗します。以前に実施した Docker/GCP でのハードウェア検証は、このワーカーの適格性を示すものではありません。バッチのファンアウト、GPU スケジューリング、汎用ストレージは、引き続き別途対応する作業です。インストール不要の公開プルーフは、引き続き https://froglet.dev/llms.txt の HTTP フローです。これはインストール済みの MCP アクションではありません。

ローカルノードには、ローカルプロファイルを使用してください。

FROGLET_PROFILE=local \
FROGLET_PROVIDER_URL=http://127.0.0.1:8080 \
FROGLET_RUNTIME_URL=http://127.0.0.1:8081 \
FROGLET_PROVIDER_AUTH_TOKEN_PATH=/absolute/path/to/froglet/data/runtime/froglet-control.token \
FROGLET_RUNTIME_AUTH_TOKEN_PATH=/absolute/path/to/froglet/data/runtime/auth.token \
  npx froglet-mcp

ソースチェックアウトからは、同じサーバーを直接実行できます。

npm ci --prefix integrations/mcp/froglet
node integrations/mcp/froglet/server.js

npm、ソースチェックアウト、ダイジェスト固定 MCP イメージの各モードでは、MCP stdio を介して、より広範な JavaScript 機能を利用できます。ネイティブモードで利用できるのは、上記の依存関係不要な公開およびライフサイクル管理機能です。JavaScript とのアクションの同等性を謳うものではありません。

一般ユーザー向けには、/agent のブートストラップによって、リポジトリをクローンせずにローカル MCP 設定が書き込まれます。ソースチェックアウトから作業するコントリビューターは、JSON や TOML を手動で編集する代わりに、正確な設定ファイルを引き続き生成できます。

cd froglet && ./scripts/setup-agent.sh --target claude-code
cd froglet && ./scripts/setup-agent.sh --target codex

ポータブルなマネージドホスティングと OCI 分離

froglet-service/v4 では、マネージドホスティングをプロバイダーに依存しない target／profile として表現します。AWS のリージョン、Lightsail の名称、Fly アプリ、 ECR リポジトリ、クラウド SDK の型は含まれません。兄弟プロジェクトの Managed Deployment オペレーター（非公開の froglet-services リポジトリ、オープンソースではありません）は、 現在の Lightsail 互換アダプターまたは汎用 SSH + OCI アダプターを通じて、対応するポータブルな望ましい状態のライフサイクルを実装し、 同じ正規化済みの結果形式を返します。Publish-engine とオペレーターの接続、および認証情報を使ったライブカナリアは、引き続き別個の未解決項目です。

V3 マニフェストも引き続き読み取り可能です。hosting.default = "fly" と hosting.fly.* は、非推奨の互換性入力としてのみ使用できます。新規の記述では v4 の managed を使用し、 プロバイダーの選択はオペレーターが所有するアダプター設定で行います。docs/PUBLICATION_CONTRACT.md を参照してください。

任意の OCI 実行で Froglet Node に Docker／Podman ソケットが与えられることはありません。 ノードは、FROGLET_OCI_WORKER_URL と FROGLET_OCI_WORKER_TOKEN_PATH で設定された 認証済みワーカーエンドポイントに、ダイジェストのみを含み、範囲が制限され、機能が縮小されたリクエストを送信します。リファレンス用の OCI ワーカー（非公開の froglet-services リポジトリ、オープンソースではありません）が rootless エンジンへのアクセスを管理し、デフォルトでは読み取り専用、非 root、ネットワークなしで 実行します。ワーカーが設定されていない場合、OCI 実行はフェイルクローズします。

検証

成果物チェーンの検証（相手側が行うこと）

froglet-verify は、単独で動作するオフライン検証ツールです。ノード、ネットワーク、 アカウント、時計は不要です（時計は指定した場合を除きます）。チェーンを指定すると、 すべてのエンベロープ署名、成果物ごとのすべてのセマンティックルール、成果物間の すべてのハッシュリンクを検査します。

cargo run -p froglet-verify -- conformance/kernel_v1.json

単一の成果物、JSON 配列、/v1/feed ページ、適合性フィクスチャを、ファイルまたは stdin から 受け取れます。--json は機械可読なレポートを出力し、 --now <unix> は有効期限の検査を有効にします。終了コード：0 は有効、 1 は無効、2 は使用方法のエラーです。

稼働中のノードが公開する内容を確認するには、そのフィードを直接パイプで渡します。フィードは ページ分割されているため、判定の対象は取得したページです。

curl -s 'http://127.0.0.1:8080/v1/feed?limit=50' | cargo run -q -p froglet-verify -- -

Rust ファサード、ブラウザー向け WASM ビルド、リポジトリ内の Rust 適合性ランナーは、 froglet-protocol の実装を共有しています。python/froglet-verify は独立して実装されており、同じ公開ベクトルを検査します。複数の Rust ランナーは 配布経路をテストするものであり、実装の多様性を提供するものではありません。適合ランナーが 検証すべき内容については conformance/README.md を、規範となるルールについては docs/SPEC.md を参照してください。

ビルドとリポジトリのチェック

対象を絞ったチェック：

cargo check -q
cargo test -q --lib
node --check integrations/openclaw/froglet/index.js
node --check integrations/openclaw/froglet/scripts/doctor.mjs
node --test integrations/openclaw/froglet/test/plugin.test.js \
  integrations/openclaw/froglet/test/config-profiles.test.mjs \
  integrations/openclaw/froglet/test/doctor.test.mjs \
  integrations/openclaw/froglet/test/froglet-client.test.mjs
npm run check:mcp
npm run test:mcp

リポジトリ全体のチェック：

./scripts/strict_checks.sh

FROGLET_RUN_COMPOSE_SMOKE=1 ./scripts/strict_checks.sh

node integrations/openclaw/froglet/test/compose-smoke.mjs
node integrations/mcp/froglet/test/compose-smoke.mjs

現在のスコープ

このリポジトリに現在含まれるもの：

• docs/ および conformance/ にあるプロトコルと関連仕様 — 安定性の保証については docs/VERSIONING.md を参照してください。別の言語で 2 つ目の実装を作成する場合は、conformance/kernel_v1.json にある正規のテスト ベクトルから始めてください（ガイド： froglet.dev/spec/conformance）
• リファレンスとなる Froglet ノード実装：プロバイダープレーンとランタイムプレーンを分離して提供する単一の froglet-node バイナリ （froglet-provider および froglet-runtime コンテナイメージとして公開）
• OpenClaw ソースプラグインとの統合、および共有の NemoClaw プラグインコード。ホスト固有の検証状況は別途文書化
• ネイティブで依存関係を最小限に抑えた MCP ブリッジと、外部エージェントホストおよび自動化向けの、より広範な JavaScript MCP サーバー
• 公開ノードおよびプロトコルのインターフェース向けの、Python を利用したヘルパーとテスト
• ボットが作成したサービス向けの、ローカルでのプロジェクト作成、ビルド、テスト、公開のワークフロー
• ビルド済み Wasm および OCI ベースのプロファイルのための、アーティファクトの直接公開
• Wasm、Python、コンテナ、機密実行パス向けのリファレンス実行プロファイル
• 運用者が管理する Lightning、Stripe、x402 に対応した、ローカル／セルフホスト型のリファレンス決済サポート
• Clearnet とアウトバウンドリレーのトランスポート、およびオプションのセルフホスト型 Tor と Nostr 向けアダプターのサポート。公開リレーの本番運用準備状況は外部デプロイのゲートであり、クライアントの実装から推定されるものではありません
• 公開リポジトリのインターフェース向けのテスト、検証スクリプト、リリースドキュメント
• 外部公開向けのセルフホストドキュメントとサンプル

後日対応または別途デプロイするもの：

• Lightning と Stripe のファーストパーティホスト型有料レールの提供実績。公開された本番トランスクリプトの提示待ちです。ホスト型 x402 は引き続き望ましいものの、必須ではありません
• 上位レイヤーのマーケットプレイスにおけるランキング、評判、ポリシーの各サービス
• 長時間実行されるバッチのオーケストレーション。現行の v1 ランタイムの対象範囲外です
• froglet-services で保守される、プロバイダーに依存しない Lightsail アダプターおよび汎用 SSH + OCI Managed Deployment アダプターの、認証情報を用いた本番環境での実証
• 需要に応じて追加する GCP、OVH などのプロビジョニングアダプター。マニフェストに新しいプロバイダー列挙値を追加してはなりません
• 第一級の実行サブミッション形式としての Zip またはアーカイブのパッケージング
• ファーストパーティのホスト型コントロールプレーン運用およびランブック

警告

実行時の堅牢化は、すべてのランタイムで一様ではありません。 Wasm は、プロセス内で実行可能な分離パスのうち最も強力です。機密／TEE アーティファクト型は、引き続きプロトコルの足場にとどまります。このビルドではモックのアテステーション／鍵リリースポリシーを拒否し、tee.* ランタイムを公開しません。 Python では Linux Landlock ABI v3 と seccomp が必要です。OCI／コンテナ実行では、別途設定されたワーカーの分離特性が引き継がれます。

ドキュメント

ファーストパーティのホスト型デプロイツールと運用者向け手順書は、このリポジトリの公開プロトコルおよびセルフホスト用ドキュメントとは別に管理されています。

ライセンス

Froglet は Armanas Povilionis が作成・保守し、Apache License 2.0 の下でライセンスされています。Copyright 2026 Alithea Biotechnology GmbH；詳細は NOTICE をご覧ください。