Orca MCP Server runs on your own machine — the client starts it, so there is no endpoint to ping. 71 installs a week from npm. Last commit 3 Jun 2026.
Go from natural language to verified finite state machines — topology bugs caught before code runs.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add orca-mcp-server -- npx -y @orcalang/orca-mcp-server
{
"mcpServers": {
"orca-mcp-server": {
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"command": "npx"
}
}
}
[mcp_servers.orca-mcp-server]
command = "npx"
args = ["-y", "@orcalang/orca-mcp-server"]
{
"mcpServers": {
"orca-mcp-server": {
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"command": "npx"
}
}
}
{
"mcpServers": {
"orca-mcp-server": {
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"command": "npx"
}
}
}
Answers built from our own checks of this server.