TypeSafe MCP

Arbitype とは？

Arbitype は、TypeSafe Jev を搭載した、AI エージェント向けの MCP ネイティブな型付き意思決定レイヤーです。確率的な判断を、エージェントやプログラムが直接利用できる構造化された意思決定プリミティブに変換します。

Arbitype は PyPI と公式 MCP Registry で入手できます。

メモ

Arbitype は独立したオープンソースプロジェクトです。TypeSafe AI の公式製品でも、特定のエージェントホスト向けの公式インテグレーションでもありません。

クイックスタート

MCP ホストに接続する最も手早い方法は、uvx で起動するローカルの STDIO サーバーです。

export TYPESAFE_API_KEY="your-key"
uvx arbitype

バージョンを固定して再現可能な形で起動するには、次のようにします。

uvx --from 'arbitype==0.7.0' arbitype

または、現在の環境にパッケージをインストールします。

python -m pip install arbitype
arbitype

API キーはプロセス環境に保持されます。MCP の引数ではなく、標準出力に表示されることもありません。

ホストのセットアップ

設定を書き込む前に、検出されたホストを確認します。

arbitype setup --detect --dry-run

次に、確認済みのプランを適用します。

arbitype setup codex
arbitype doctor --json

セットアップの流れは、プラン → 統合差分 → 確認 → バックアップ → 適用です。codex の代わりに claude、cursor、または vscode を使用できます。ホストの形式、シークレットの転送、--yes、--remove、所有権、非対話型の動作については、docs/HOST_SETUP.md を参照してください。

設定

最低限、TYPESAFE_API_KEY を設定してください。モデルを明示的に選択するには、次のようにします。

export TYPESAFE_API_KEY="your-key"
export TYPESAFE_MODEL="jev-latest"

エンドポイント、タイムアウト、再試行、リクエスト／レスポンスの上限については、設定の完全なリファレンスを参照してください。

互換性

arbitype が標準のディストリビューション、Python パッケージ、CLI です。既存の TypeSafe MCP ユーザーは Arbitype への移行を推奨します。docs/REGISTRY_MIGRATION.md を参照してください。

以前のディストリビューションから安全に移行するには、次のようにします。

python -m pip uninstall typesafe-mcp
python -m pip install arbitype

項目	標準	レガシー互換性
PyPI / CLI	arbitype	typesafe-mcp, typesafe-codex-mcp
Python インポート	arbitype	typesafe_mcp, typesafe_codex_mcp
MCP ツール	route, review	codex_route, codex_review

Arbitype を選ぶ理由

Arbitype は、自由形式の文章ではなく、契約と範囲の限定された判断を中心に設計されています。

原則	意味
契約優先	リクエストとプロバイダーのレスポンスは、エージェントに渡される前に検証されます。
デフォルトで安全	認証情報が MCP ツールの引数や、生成されるホスト設定に含まれることはありません。
エージェント指向	分類、検証、ゲート、ルーティング、レビュー、スコアリングに特化したプリミティブを備えています。
ポータブル	サードパーティの実行時依存関係がなく、標準の MCP STDIO を使用します。
測定可能	公開されたツール選択および判断の安定性を評価するアセットを備えています。

判断フローは次のとおりです。

free-form state
      ↓
  TypeSafe Jev
      ↓
probabilistic judgment
      ↓
    Arbitype
      ↓
typed decision + probability
      ↓
agent / code branch

実際のユースケース

すぐに実行できる小規模なフィクスチャから始めましょう。

シナリオ	ツール	実証する内容
サポートのルーティング	route	実行せずに、次のアクションを 1 つ選択します。
PR の検証	verify	複数の主張を個別に確認します。
リリースレビュー	review / gate	全体的なレビューと、しきい値に基づくチェックを分けます。
エージェントの次のステップ	route	次のワークフローアクションの範囲を限定します。

サンプル出力は説明用のフィクスチャです。実際のモデル結果、精度の主張、認可の判断ではありません。

ツール

Arbitype は、読み取り専用で冪等な MCP ツールを 9 つ公開します。

ツール	使用する場面	結果
evaluate	独自の型付き Jev 質問セットが必要な場合。	型付きの Jev レスポンス。
classify	順序のないラベルから 1 つ選ぶ場合。	選択結果と確率分布。
score	順序のある評価またはレベルが 1 つ必要な場合。	加重スコアと分布。
check	範囲が限定された 1 つの基準について、確率が必要な場合。	Noul のはい／いいえ確率。
verify	名前付きの複数の主張を個別に確認する場合。	主張ごとの Noul の回答。
gate	チェックとしきい値をシグナルに変換する場合。	pass、review、fail。
route	次に推奨されるアクションが 1 つ必要な場合。	アクション 1 つ。アクションは実行されません。
review	全体的な品質またはリスクの評価が必要な場合。	レビューの判断と根拠。
health	ローカル診断または明示的なライブチェックが必要な場合。	設定と、任意のプロバイダーのヘルス情報。

ツール選択ガイド

必要なもの	使用するツール	代わりに使用しないツール
順序のないラベル 1 つ	classify	アクションを選択する route
順序のある評価 1 つ	score	順序がない classify
範囲が限定された命題 1 つ	check	複数の主張を扱う verify
名前付きの複数の主張	verify	オブジェクト全体を評価する review
チェックとしきい値	gate	全体を評価する review
次のアクション 1 つ	route	カテゴリーを返す classify
差分、計画、リリース、レポート全体	review	主張ごとに回答する verify

ツールの説明には、使用する場面と使用しない場面の境界も記載されているため、ホストは隠れたプロンプト規約に頼らずプリミティブを選択できます。

確率と信頼度はモデルのシグナルであり、証明ではありません。gate と review は助言を目的とした判断の変換であり、認可システム、セキュリティ境界、承認エンジンではありません。

アーキテクチャ

flowchart LR
    host["AI Agent / MCP Host<br/>Codex · Claude · Cursor · VS Code"]
    arbitype["Arbitype<br/>Typed decision tools"]
    jev["TypeSafe Jev<br/>System One Model"]
    env["TYPESAFE_API_KEY<br/>process environment"]

    host -->|MCP| arbitype
    arbitype -->|validated HTTPS| jev
    jev -->|typed probabilistic judgment| arbitype
    arbitype -->|structured decision| host
    env -. credential .-> arbitype

公開製品は Arbitype です。現在のプロバイダーは TypeSafe Jev です。認証情報とエンドポイントは TypeSafe に属するため、プロバイダー設定では意図的に TYPESAFE_* の名前を維持しています。

ベンチマークの概要

公開されている、Jev を介した 120 ケースのツール選択評価で記録された結果です。

指標	結果
ツール選択の精度	96.67%
無効なツールの割合	0%
スキーマ有効率	100%

これは、Arbitype が公開する MCP ツールカタログを対象とした、Jev を介した評価です。Codex、Claude、Cursor のホストベンチマークではなく、一般的なモデル性能を保証するものでもありません。

詳細と再現可能なアセット：

• ベンチマークの方法
• ツール選択データセット
• 記録済みレポート

セキュリティ境界

Arbitype はローカル MCP アダプター兼型付きの意思決定レイヤーです。次のものではありません。

• 信頼できないコードのサンドボックス；
• 認証またはアイデンティティシステム；
• プロンプトインジェクション対策ファイアウォール；
• セキュリティ承認の境界；または
• TypeSafe AI の公式製品。

Arbitype は、ルートによって提案されたアクションを実行したり、ファイルを編集したり、シェルコマンドを実行したり、モデルの確率を証明として扱ったりすることはありません。ライブ認証情報を使用する前に、SECURITY.md をお読みください。

ドキュメント

• ホストのセットアップ
• 設定リファレンス
• MCP Registry の移行
• サプライチェーンのセキュリティ態勢
• 可観測性の提案
• テスト
• ベンチマーク
• コントリビューション
• セキュリティ
• 公式 MCP Registry のエントリー
• Glama の掲載ページ（インデックス作成とメタデータの更新は、公開より遅れることがあります）

開発

テストスイートではローカルのフェイクを使用するため、API キーは不要です。

python3 -m unittest discover -s tests -v
python3 -m compileall -q .
make check
make release-check

公式 MCP Python SDK との相互運用性を確認するスモークテストは、scripts/official_sdk_smoke.py にあります。Jev のライブチェックはオプトインで、有料です。

TYPESAFE_API_KEY="your-key" arbitype doctor --live

通常の CI ではプロバイダーを呼び出したり、有料のベンチマークを実行したりしません。