mcpField
O
Orca MCP Server

Orca MCP Server

Local
github.com/jascalDeveloper Tools14Updated 21w ago
Repository

About Orca MCP Server

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

Configuration

Local server config is the same for every client. Copy it into your client’s MCP config file.

mcp.json · Universal config
{
  "mcpServers": {
    "jascal-orca": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "<ORCA_PROVIDER>",
        "ORCA_MODEL": "<ORCA_MODEL>"
      }
    }
  }
}
Run commandnpx -y @orcalang/orca-mcp-server
Environment variables to set
ANTHROPIC_API_KEYSecretAnthropic 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_PROVIDERLLM provider to use: anthropic (default), openai, grok, or ollama.
ORCA_MODELModel name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.

Local servers need a runtime on your machine (e.g. Node.js 18+). Config file locations differ by client; see your client’s docs.

Packages
npm@orcalang/orca-mcp-server0.1.30

Tools

12

Saved tool list · updated 2w ago

ParameterTypeRequiredDescription
sourcestringYesRaw .orca.md content. Must start with "# machine Name". States use "## state Name [initial|final]". Transitions use a markdown table with columns: Source, Event, Guard, Target, Action.

Details

The maintainer has not added details yet. Check the README in the repository.

Comments

Markdown supported

New to MCP?

From what the protocol is to installing your first server, these answers cover most first questions.

An open protocol that defines how AI applications connect to external tools and data in a uniform way. Clients talk to the model; MCP servers provide tools, resources and prompt templates. They exchange standard messages, so one server can be reused by many clients.