Home › Other › Orca MCP Server
Orca MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
TypeScript
★ 14 stars
Last pushed 2026-06-03
Connect
Review any command before running it. Package names and URLs come from the server's own registry entry.
Package (npm 0.1.30)
npx -y @orcalang/orca-mcp-server@0.1.30
Or add to your MCP client config:
{
"mcpServers": {
"orca-lang": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server@0.1.30"
],
"env": {
"ANTHROPIC_API_KEY": "<YOUR_VALUE>",
"ORCA_PROVIDER": "<YOUR_VALUE>",
"ORCA_MODEL": "<YOUR_VALUE>"
}
}
}
}
ANTHROPIC_API_KEYsecret — 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— 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.
Related servers
B
browser-use
Other
Control a real Chrome browser to complete any task: fill forms, extract data, book flights.
★ 116,188
MCP Server
S
servers
Other
MCP server that exercises all the features of the MCP protocol
★ 90,577
MCP Server
W
World Monitor
Other
Live markets, conflicts, country risk, chokepoints, energy, and China decision signals. 75 tools.
★ 87,324
MCP Server
Requires auth
P
paperclip
Other
Trending hip-hop artist momentum scores across four cultural dimensions.
★ 82,095
MCP Server
Reachable
R
ruflo
Other
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
★ 73,202
MCP Server
C
Chrome DevTools MCP
Other
MCP server for Chrome DevTools
★ 52,570
MCP Server
Data from the Official MCP Registry