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

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:anthropic

LLM 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.