Home › Other › Orca MCP Server

Orca MCP Server

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

TypeScript
★ 14 stars Last pushed 2026-06-03

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

Package (npm 0.1.30)

npx -y @orcalang/orca-mcp-server@0.1.30

Or add to your MCP client config:

{
  "mcpServers": {
    "orca-lang": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server@0.1.30"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<YOUR_VALUE>",
        "ORCA_PROVIDER": "<YOUR_VALUE>",
        "ORCA_MODEL": "<YOUR_VALUE>"
      }
    }
  }
}
  • 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.

Related servers

Data from the Official MCP Registry