AIKraft/MCP-серверы/io.github.jascal/orca-mcp-server

io.github.jascal/orca-mcp-server

Преобразование естественного языка в проверенные конечные автоматы — выявление ошибок топологии до запуска кода.

jascal Локальный · npm official

Что это

Преобразование естественного языка в проверенные конечные автоматы — выявление ошибок топологии до запуска кода.

Как подключить

1Официальный package
npm · @orcalang/orca-mcp-server@0.1.30
2Установить и запустить в терминале
npx @orcalang/orca-mcp-server@0.1.30
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{ "mcpServers": { "io-github-jascal-orca-mcp-server": { "command": "npx", "args": [ "@orcalang/orca-mcp-server@0.1.30" ] } } }

Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.