Orca MCP Server — MCP-сервер для Claude Code
Передаёт агенту инструменты Orca для описания и проверки конечных автоматов. Нужен, когда ошибки в топологии важно найти до запуска кода.
claude mcp add --env ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> --env ORCA_PROVIDER=<ORCA_PROVIDER> --env ORCA_MODEL=<ORCA_MODEL> --transport stdio mcp-server -- npx -y @orcalang/orca-mcp-serverЧто делает Orca MCP Server
Orca MCP Server подключает к агенту инструменты Orca. С их помощью можно описывать конечные автоматы в Markdown и проверять их структуру до выполнения кода. Проверка ищет недостижимые состояния, тупики, неполные переходы и пересекающиеся условия.
Orca поддерживает состояния, события, переходы, guards, вложенные и параллельные области, тайм-ауты и вызов одной машины из другой. Описание можно компилировать в конфигурацию XState v5 или диаграмму Mermaid. Для запуска через npx нужен Node 20+; сервер использует ANTHROPIC_API_KEY, а в одном из способов установки также задаются ORCA_PROVIDER и ORCA_MODEL. Без ключа ANTHROPIC_API_KEY сервер не запустится.
Какие задачи решает
- описать конечный автомат в Markdown
- найти недостижимые состояния и тупики
- проверить полноту переходов и guards
- собрать схему для XState или Mermaid
Примеры запросов агенту
- Опиши в Markdown конечный автомат для обработки платежа и проверь его топологию.
- Проверь машину
examples/payment-processor.orca.mdна тупики и недостижимые состояния. - Скомпилируй
examples/payment-processor.orca.mdв конфигурацию XState.
Как установить Orca MCP Server
Командой платформы
claude mcp add --env ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> --env ORCA_PROVIDER=<ORCA_PROVIDER> --env ORCA_MODEL=<ORCA_MODEL> --transport stdio mcp-server -- npx -y @orcalang/orca-mcp-serverВместо <…> подставьте свои значения
Командой платформы
codex mcp add mcp-server --env ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> --env ORCA_PROVIDER=<ORCA_PROVIDER> --env ORCA_MODEL=<ORCA_MODEL> -- npx -y @orcalang/orca-mcp-serverВместо <…> подставьте свои значения
Файл настроек
{
"mcpServers": {
"mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"ORCA_PROVIDER": "<ORCA_PROVIDER>",
"ORCA_MODEL": "<ORCA_MODEL>"
}
}
}
}Вместо <…> подставьте свои значения
Файл настроек
{
"servers": {
"mcp-server": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"ORCA_PROVIDER": "<ORCA_PROVIDER>",
"ORCA_MODEL": "<ORCA_MODEL>"
}
}
}
}Вместо <…> подставьте свои значения
Командой платформы
gemini mcp add -e ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> -e ORCA_PROVIDER=<ORCA_PROVIDER> -e ORCA_MODEL=<ORCA_MODEL> mcp-server npx -y @orcalang/orca-mcp-serverВместо <…> подставьте свои значения
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Orca MCP Server
Как установить Orca MCP Server в Claude Code?
Выполните claude mcp add orca-mcp-server -e ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> -- npx -y @orcalang/orca-mcp-server.
Что делает Orca MCP Server?
Он передаёт агенту инструменты Orca для создания и проверки конечных автоматов. Проверка выявляет ошибки структуры до запуска кода.
Что нужно для запуска Orca MCP Server?
Нужен Node 20+ и переменная ANTHROPIC_API_KEY. Для альтернативной команды подключения также задаются ORCA_PROVIDER и ORCA_MODEL.
