AgentHubAgentHub

Orca MCP Server

MCP ServerMCP Registry官方收录

io.github.jascal/orca-mcp-server · v0.1.30

Go from natural language to verified finite state machines — topology bugs caught before code runs.

源仓库 ↗

概览

Orca MCP Server 是一个MCP Server，收录自 官方 MCP Registry。支持 stdio 传输。本页提供 Cursor、Claude Code 等客户端的安装配置片段。

安装

选择你的平台查看安装方式

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ]
    }
  }
}

环境变量

ANTHROPIC_API_KEY可选secret

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_PROVIDER可选

LLM provider to use: anthropic (default), openai, grok, or ollama.

ORCA_MODEL可选

Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.

相关资源

统一 Manifest

{
  "id": "io.github.jascal/orca-mcp-server",
  "type": "mcp-server",
  "version": "0.1.30",
  "displayName": "Orca MCP Server",
  "description": "Go from natural language to verified finite state machines — topology bugs caught before code runs.",
  "repository": {
    "url": "https://github.com/jascal/orca-lang",
    "source": "github",
    "subfolder": "packages/mcp-server"
  },
  "distribution": {
    "packages": [
      {
        "registryType": "npm",
        "identifier": "@orcalang/orca-mcp-server",
        "version": "0.1.30",
        "runtimeHint": "npx",
        "transport": "stdio",
        "environmentVariables": [
          {
            "name": "ANTHROPIC_API_KEY",
            "description": "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.",
            "isSecret": true
          },
          {
            "name": "ORCA_PROVIDER",
            "description": "LLM provider to use: anthropic (default), openai, grok, or ollama."
          },
          {
            "name": "ORCA_MODEL",
            "description": "Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic."
          }
        ]
      }
    ],
    "remotes": []
  },
  "dependencies": [],
  "installTargets": [
    "claude-code",
    "claude-desktop",
    "cursor",
    "vscode"
  ],
  "keywords": [],
  "provenance": {
    "origin": "official-mcp-registry",
    "originalId": "io.github.jascal/orca-mcp-server",
    "originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.jascal%2Forca-mcp-server/versions/latest",
    "isOfficial": true,
    "status": "active"
  }
}
Orca MCP Server — MCP Server 安装与配置 · AgentHub