Orca MCP Server

local MCP server

Installation

Terminal

claude mcp add orca-mcp-server -e ANTHROPIC_API_KEY=... -e ORCA_PROVIDER=... -e ORCA_MODEL=... -- npx -y @orcalang/orca-mcp-server

Run in your project folder. Add --scope user to use it everywhere.

Claude Desktop, Cursor & other clients

Add to claude_desktop_config.json or .cursor/mcp.json.

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "...",
        "ORCA_PROVIDER": "...",
        "ORCA_MODEL": "..."
      }
    }
  }
}

Fill in the environment variables with your own credentials.

Summary

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

Questions

Orca MCP Server is a local MCP server distributed as the npm package @orcalang/orca-mcp-server.

Run: claude mcp add orca-mcp-server -e ANTHROPIC_API_KEY=... -e ORCA_PROVIDER=... -e ORCA_MODEL=... -- npx -y @orcalang/orca-mcp-server

Run: codex mcp add orca-mcp-server --env ANTHROPIC_API_KEY=... --env ORCA_PROVIDER=... --env ORCA_MODEL=... -- npx -y @orcalang/orca-mcp-server

Similar MCP servers

NameStars

GitHubio.github.github/github-mcp-server33K
Airweave Searchio.github.airweave-ai/search6,561
QueryWeavercom.falkordb/QueryWeaver1,081
PlanExeio.github.PlanExeOrg/planexe402
Toleno Networkio.github.tolenonetwork/toleno-mcp224
DottedSignio.github.DottedSign-Official/dottedsign-mcp142
cli-microsoft365-mcp-serverio.github.pnp/cli-microsoft365-mcp-server133
Auth0 MCP Servercom.auth0/mcp122