Go from natural language to verified finite state machines — topology bugs caught before code runs.
npx -y @orcalang/orca-mcp-server{
"ANTHROPIC_API_KEY": "YOUR_SECRET_VALUE",
"ORCA_PROVIDER": "anthropic",
"ORCA_MODEL": "YOUR_VALUE_HERE"
}Add this server entry to the mcpServers object in your Claude Desktop config, then restart the app.
{
"mcpServers": {
"io-github-jascal-orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "YOUR_SECRET_VALUE",
"ORCA_PROVIDER": "anthropic",
"ORCA_MODEL": "YOUR_VALUE_HERE"
}
}
}
}~/Library/Application Support/Claude/claude_desktop_config.json%APPDATA%\Claude\claude_desktop_config.jsonNo remote HTTP endpoint is advertised. Use the package or stdio setup shown in Install.
Orca MCP Server is an MCP server for Go from natural language to verified finite state machines — topology bugs caught before code runs.. It supports STDIO transport.
Use the generated config in Install. This server runs with npx -y @orcalang/orca-mcp-server; add any required environment variables before starting your client.
Choose the Claude Desktop tab in Install and copy the config for npx -y @orcalang/orca-mcp-server. Add required environment variables before starting Claude Desktop.
Choose the Claude Code tab in Install and copy the config for npx -y @orcalang/orca-mcp-server. Add required environment variables before starting Claude Code.
Choose the Codex tab in Install and copy the config for npx -y @orcalang/orca-mcp-server. Add required environment variables before starting Codex.
Choose the Cursor or VS Code tab in Install and copy the config for npx -y @orcalang/orca-mcp-server. Add required environment variables before starting Cursor or VS Code.
Orca MCP Server uses STDIO transport. Use the package or command config in Install.
Orca MCP Server inventory is listed when the MCP endpoint exposes tools, resources, or prompts. Some servers require auth first.
Orca MCP Server does not advertise a verified auth requirement. If discovery fails, it may still need provider login, an API key, a bearer token, or a session header.
| Package | Registry | Version | Inputs |
|---|---|---|---|
@orcalang/orca-mcp-serverstdio | npm | 0.1.27 | Env: ANTHROPIC_API_KEY secret Env: ORCA_PROVIDER Env: ORCA_MODEL |