Go from natural language to verified finite state machines — topology bugs caught before code runs.
Connect Runs on your machine
claude mcp add orca-mcp-server -e ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> -e ORCA_PROVIDER=<ORCA_PROVIDER> -e ORCA_MODEL=<ORCA_MODEL> -- npx -y @orcalang/[email protected]{
"mcpServers": {
"orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/[email protected]"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"ORCA_PROVIDER": "<ORCA_PROVIDER>",
"ORCA_MODEL": "<ORCA_MODEL>"
}
}
}
}{
"mcpServers": {
"orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/[email protected]"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"ORCA_PROVIDER": "<ORCA_PROVIDER>",
"ORCA_MODEL": "<ORCA_MODEL>"
}
}
}
}{
"servers": {
"orca-mcp-server": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@orcalang/[email protected]"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"ORCA_PROVIDER": "<ORCA_PROVIDER>",
"ORCA_MODEL": "<ORCA_MODEL>"
}
}
}
}Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.
Tools
This server runs locally, so its tools are listed by your MCP client once it starts.
Environment variables
| Name | Description |
|---|---|
ANTHROPIC_API_KEYOptional, 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_PROVIDEROptional | LLM provider to use: anthropic (default), openai, grok, or ollama. |
ORCA_MODELOptional | Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic. |
Details
| Package | @orcalang/[email protected] (NPM, stdio) |
| First published | 3 Jun 2026 |
| Last updated | 3 Jun 2026 |
| Registry name | io.github.jascal/orca-mcp-server |
More developer tools servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.