加载中…
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Orca MCP Server 是 ChatHome Skills 收录的 MCP 条目,来源为 Official MCP Registry,质量分 67/100。 作为 Model Context Protocol 服务器,它向 Claude、Cursor、Copilot 等兼容 MCP 的 LLM 客户端暴露可直接调用的工具,让 agent 的能力超出模型内置范围。 该条目由 ChatHome Skills 的每日抓取从官方 registry 和 GitHub 发现查询中收录,每次运行都会重新核验仓库事实、新鲜度信号和安装元数据。 质量分综合了官方 registry 收录情况、可用安装命令、许可证完整性、仓库活跃度和 GitHub star 趋势,完整算法说明见来源页。安装命令已列于上方,可直接复制使用。 在将 Orca MCP Server 加入生产 agent 工作流前,请核对上方的最近更新日期和仓库状态——下方事实快照是最近一次抓取的时点值。
npx -y @orcalang/orca-mcp-server@0.1.30运行此命令前,请先核对上游源码。
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-06-03T02:36:27.218364Z",
"publishedAt": "2026-06-03T02:36:27.218364Z",
"statusChangedAt": "2026-06-03T02:36:27.218364Z"
}
},
"server": {
"name": "io.github.jascal/orca-mcp-server",
"title": "Orca MCP Server",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "0.1.30",
"packages": [
{
"version": "0.1.30",
"transport": {
"type": "stdio"
},
"identifier": "@orcalang/orca-mcp-server",
"runtimeHint": "npx",
"registryType": "npm",
"environmentVariables": [
{
"name": "ANTHROPIC_API_KEY",
"isSecret": true,
"description": "Anthropic API key for LLM-powered tools (generate_machine, generate_multi_machine, refine_machine, generate_actions with use_llm). Not required for parse_machine, verify_machine, compile_machine, or server_status."
},
{
"name": "ORCA_PROVIDER",
"default": "anthropic",
"description": "LLM provider to use: anthropic (default), openai, grok, or ollama."
},
{
"name": "ORCA_MODEL",
"description": "Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic."
}
]
}
],
"repository": {
"id": "1189955224",
"url": "https://github.com/jascal/orca-lang",
"source": "github",
"subfolder": "packages/mcp-server"
},
"description": "Go from natural language to verified finite state machines — topology bugs caught before code runs."
}
}