Costwright Mcp

costwright — MCP サーバー

LLM エージェントのワークフローを対象とした、静的な最悪ケースのトークン予算分析ツールです。 LangGraph／CrewAI／OpenAI-Agents-SDK を使用する Python リポジトリを指定すると、純粋な AST 分析によって、コードを実行せずに、各ワークフローグラフの最悪ケースの予算上限をレポートします。各ユニットが証明可能／デフォルト依存／証明不可能／無限実行のどれに該当するか、トークン上限のない LLM 呼び出しがどれかも確認できます。オプションで Ed25519-署名付き予算証明書を発行し、公開透明性ログに記録できます。ホスト型の costwright API を利用し、Lean 4 のコスト健全性定理に裏付けられています。

エージェントのワークフローをデプロイする前に使用して、トークン上限の設定漏れや while True: による無限実行を引き起こす処理を検出しましょう。予算版の型チェックです。

ツール

ツール	機能	キーは必要？
costwright_check(repo_path, policy?)	ローカルリポジトリの静的な予算分析を行います。証明可能／デフォルト依存／証明不可能／無限実行の各ユニット数と、合否を返します。	はい
costwright_certify(repo_path, policy?, label?)	署名付きの予算証明書を発行し、ログに記録します。cert_id、署名、verify_url を返します。	はい
costwright_verify(cert_id)	ID で証明書を検証します（有効／期限切れ／失効、署名の確認）。	公開
costwright_pubkey()	オフライン検証用の有効な Ed25519 公開鍵を返します。	公開

セットアップ

{
  "mcpServers": {
    "costwright": {
      "command": "npx",
      "args": ["-y", "costwright-mcp"],
      "env": { "COSTWRIGHT_API_KEY": "your_rapidapi_key" }
    }
  }
}

デフォルトでは、キーは X-RapidAPI-Key として送信されます（RapidAPI チャネル）。直接チャネルで Authorization: Bearer として送信するには、COSTWRIGHT_DIRECT=1 を設定してください。verify と pubkey はキーなしで使用できます。

check／certify は、クライアント側で repo_path から .py ファイルのみを含む gzip アーカイブを作成し（venv、node_modules、テストなどは除外）、分析のために送信します。ソースコードはホスト型 API にアップロードされます。https://eleata.io/privacy/ をご覧ください。MIT ライセンスです。