Go from natural language to verified finite state machines — topology bugs caught before code runs.
接入配置
选择客户端，复制配置，再按项目文档补齐环境变量。
claude mcp add orca-server-jascal --env ANTHROPIC_API_KEY='<ANTHROPIC_API_KEY>' -- npx -y @orcalang/orca-mcp-server~/.codex/config.toml
[mcp_servers.orca-server-jascal]
command = "npx"
args = ["-y", "@orcalang/orca-mcp-server"]
env = { ANTHROPIC_API_KEY = "<ANTHROPIC_API_KEY>" }
# codex mcp add orca-server-jascal --env ANTHROPIC_API_KEY='<ANTHROPIC_API_KEY>' -- npx -y @orcalang/orca-mcp-server~/.cursor/mcp.json
{
"mcpServers": {
"orca-server-jascal": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>"
}
}
}
}.vscode/mcp.json
{
"servers": {
"orca-server-jascal": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>"
}
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"orca-server-jascal": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>"
}
}
}
}claude_desktop_config.json
{
"mcpServers": {
"orca-server-jascal": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>"
}
}
}
}.trae/mcp.json
{
"mcpServers": {
"orca-server-jascal": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>"
}
}
}
}需要的环境变量
ANTHROPIC_API_KEY
把占位值换成你自己的密钥；不要把密钥提交到代码仓库。