Go from natural language to verified finite state machines — topology bugs caught before code runs.
Setup
Choose your client, copy the config, then fill in any required environment variables.
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>"
}
}
}
}Environment variables
ANTHROPIC_API_KEY
Replace the placeholders with your own credentials and keep them out of version control.