Go from natural language to verified finite state machines — topology bugs caught before code runs.
io.github.jascal/orca-mcp-server
https://github.com/jascal/orca-lang
STDIO
No auth required
How models use it and what it is built for.
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Hosted endpoint — paste into any MCP client.
Configuration this server reads at startup.
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.
LLM provider to use: anthropic (default), openai, grok, or ollama.
Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.
Where to find authoritative docs and source for Orca MCP Server.
MCP Playground runs 10,000+ hosted MCP servers — GitHub, Linear, Notion, Stripe, Sentry and more — across Claude, GPT, Gemini, DeepSeek and 30+ AI models. Compare model answers side-by-side, save agent presets, share runs. Zero install.
Open Agent Studio