# Orca MCP Server

Передаёт агенту инструменты Orca для описания и проверки конечных автоматов. Нужен, когда ошибки в топологии важно найти до запуска кода.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 14
- Автор: jascal
- Лицензия: не указана · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/jascal/orca-lang/tree/HEAD/packages/mcp-server
- Обновлён: 2026-06-03
- HTML: https://affpapa.org/nevibecode/mcp/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` сервер не запустится.

## Требования
- Нужно: Node.js (команды через npx)
- Переменные окружения: `ANTHROPIC_API_KEY`, `ORCA_PROVIDER`, `ORCA_MODEL` — это ключи и токены: значения спроси у человека, в репозиторий и общие файлы не записывай.

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
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

**Командой платформы**
```bash
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
```
Вместо <…> подставьте свои значения

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "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>"
            }
        }
    }
}
```
Вместо <…> подставьте свои значения

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "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 CLI

**Командой платформы**
```bash
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
```
Вместо <…> подставьте свои значения

## Когда брать
- описать конечный автомат в Markdown
- найти недостижимые состояния и тупики
- проверить полноту переходов и guards
- собрать схему для XState или Mermaid

## Примеры запросов агенту
- Опиши в Markdown конечный автомат для обработки платежа и проверь его топологию.
- Проверь машину `examples/payment-processor.orca.md` на тупики и недостижимые состояния.
- Скомпилируй `examples/payment-processor.orca.md` в конфигурацию XState.

## Похожие
- [xstate-v5](https://affpapa.org/nevibecode/skills/xstate-v5.md) — скилл · 494 установки
- [orca-emulator-android](https://affpapa.org/nevibecode/skills/orca-emulator-android.md) — скилл · 5600 установок
- [orca-emulator](https://affpapa.org/nevibecode/skills/orca-emulator.md) — скилл · 5900 установок
- [orca-fleet](https://affpapa.org/nevibecode/skills/orca-fleet.md) — скилл · ★ 57
- [create-formal-verification-skill](https://affpapa.org/nevibecode/skills/create-formal-verification-skill.md) — скилл · 1200 установок
- [godot-gdscript-patterns](https://affpapa.org/nevibecode/skills/godot-gdscript-patterns.md) — скилл · 17396 установок

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md