Orca MCP Server

Name: Orca MCP Server
Author: jascal

本地服务

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.30stdio

工具

收录的工具列表 · 更新于 2 周前

参数	类型	必填	说明
source	string	是	原始 .orca.md 内容。必须以 "# machine Name" 开头。状态使用 "## state Name [initial\|final]"。转换使用列为 Source、Event、Guard、Target、Action 的 Markdown 表格。