mcpField
O
Orca MCP Server

Orca MCP Server

ローカル
github.com/jascal開発ツール1421 週間前に更新
リポジトリ

Orca MCP Server について

自然言語から検証済みの有限状態機械を生成。コード実行前にトポロジーのバグを検出。

設定

ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。

mcp.json · 共通設定
{
  "mcpServers": {
    "jascal-orca": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "<ORCA_PROVIDER>",
        "ORCA_MODEL": "<ORCA_MODEL>"
      }
    }
  }
}
起動コマンドnpx -y @orcalang/orca-mcp-server
設定が必要な環境変数
ANTHROPIC_API_KEYシークレットAnthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status.
ORCA_PROVIDERLLM provider to use: anthropic (default), openai, grok, or ollama.
ORCA_MODELModel name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.

ローカルサーバーにはマシン上の実行環境（Node.js 18 以上など）が必要です。設定ファイルの場所はクライアントごとに異なります。

パッケージ
npm@orcalang/orca-mcp-server0.1.30

ツール

12

掲載時のツール一覧 · 2 週間前に更新

パラメーター型必須説明
sourcestringはい生の .orca.md コンテンツ。"# machine Name" で始める必要があります。状態には "## state Name [initial|final]" を使用します。遷移には、列が Source、Event、Guard、Target、Action の Markdown テーブルを使用します。

詳細

メンテナーはまだ詳細を追加していません。リポジトリの README をご覧ください。

コメント

Markdown 対応

MCP は初めてですか？

プロトコルの概要から最初のサーバーの導入まで、よくある疑問にまとめて答えます。

AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。