Orca MCP Server for Claude Code
io.github.jascal/orca-mcp-server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
client:Claude Code
transport:stdio
runtime:npm
Install Orca MCP Server in Claude Code
run in your project directory
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/orca-mcp-server
Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs