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 密钥。