Orca MCP Server

讓助理把自然語言描述轉成有限狀態機，並進行驗證或編譯，在程式執行前找出拓撲錯誤。

可以做什麼

Orca MCP Server 提供處理有限狀態機的工具：parse_machine、verify_machine 與 compile_machine 負責解析、驗證與編譯；generate_machine、generate_multi_machine、refine_machine 以及帶 use_llm 的 generate_actions 則透過 LLM 從自然語言產生或調整狀態機定義。其目標是在程式執行前找出拓撲錯誤。

適用情境

適合讓助理依描述草擬、調整或檢查狀態機模型，並在產生程式碼前驗證其結構。較偏向設計與驗證工作，而非執行階段。

執行需求

以本機 stdio 程序執行，透過 npx 從 npm 套件 @orcalang/orca-mcp-server 啟動，因此需要 Node.js 以及下載該套件的網路存取。使用 LLM 的工具需要 ANTHROPIC_API_KEY 密鑰；ORCA_MODEL 與 ORCA_PROVIDER 用來選擇模型與供應商（anthropic、openai、grok 或 ollama）。parse、verify 與 compile 工具不需要該 API 金鑰。