v0.1.30 更新于 2026-06-03
Orca MCP Server MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
适用客户端
本地客户端
Claude Desktop、Claude Code、Cursor、Cline 等支持本地 MCP 的客户端
安装配置
本地运行(npm)
{
"mcpServers": {
"orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
]
}
}
}将上方 JSON 加入 MCP 客户端配置(如 Claude Desktop 的 claude_desktop_config.json 或项目的 .mcp.json)即可接入;远程接入按客户端要求填写 URL 与鉴权头。