LocalFree

Orca MCP server

jascal/orca-lang

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

14 GitHub stars2 forks

Install Orca in Claude Code

Claude Code
claude mcp add orca -- npx -y @orcalang/orca-mcp-server
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "orca": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ]
    }
  }
}

Frequently asked questions

What does the Orca MCP server do?

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

Is the Orca MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Orca run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Orca to Claude Code?

Run: claude mcp add orca -- npx -y @orcalang/orca-mcp-server

More developer tools MCP servers

View all