Orca MCP Server for VS Code

io.github.jascal/orca-mcp-server

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

client:VS Code transport:stdio runtime:npm

Install Orca MCP Server in VS Code

.vscode/mcp.json

{
  "inputs": [
    {
      "type": "promptString",
      "id": "anthropic-api-key",
      "description": "ANTHROPIC_API_KEY",
      "password": true
    },
    {
      "type": "promptString",
      "id": "orca-provider",
      "description": "ORCA_PROVIDER",
      "password": true
    },
    {
      "type": "promptString",
      "id": "orca-model",
      "description": "ORCA_MODEL",
      "password": true
    }
  ],
  "servers": {
    "orca-mcp-server": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "${input:anthropic-api-key}",
        "ORCA_PROVIDER": "${input:orca-provider}",
        "ORCA_MODEL": "${input:orca-model}"
      }
    }
  }
}

VS Code prompts for each input the first time the server starts, so no secret is written to the file. VS Code docs

Orca MCP Server in other clients

Orca MCP Server MCP server