MCP Server

Orca MCP Server MCP Server

Name: Orca MCP Server MCP Server
Author: io.github.jascal

io.github.jascal/orca-mcp-server

Repository Registry

What is the Orca MCP Server MCP server?

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

How to install Orca MCP Server

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

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.

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<YOUR_ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "<YOUR_ORCA_PROVIDER>",
        "ORCA_MODEL": "<YOUR_ORCA_MODEL>"
      }
    }
  }
}

Cursor

~/.cursor/mcp.json

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<YOUR_ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "<YOUR_ORCA_PROVIDER>",
        "ORCA_MODEL": "<YOUR_ORCA_MODEL>"
      }
    }
  }
}

Windsurf

~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<YOUR_ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "<YOUR_ORCA_PROVIDER>",
        "ORCA_MODEL": "<YOUR_ORCA_MODEL>"
      }
    }
  }
}

VS Code

.vscode/mcp.json

{
  "servers": {
    "orca-mcp-server": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<YOUR_ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "<YOUR_ORCA_PROVIDER>",
        "ORCA_MODEL": "<YOUR_ORCA_MODEL>"
      }
    }
  }
}

Claude Code

claude mcp add orca-mcp-server --env ANTHROPIC_API_KEY=<YOUR_ANTHROPIC_API_KEY> --env ORCA_PROVIDER=<YOUR_ORCA_PROVIDER> --env ORCA_MODEL=<YOUR_ORCA_MODEL> -- npx -y @orcalang/orca-mcp-server