io.github.jascal
orca-mcp-server
Orca MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
stdiocommunityapplication
Package Details
@orcalang/orca-mcp-server
Transportstdio
Runtimenpx
Environment Variables
ANTHROPIC_API_KEY
Secret
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.
ORCA_PROVIDER
Default:
anthropicLLM provider to use: anthropic (default), openai, grok, or ollama.
ORCA_MODEL
Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.