Back to Browse
Free
Server data from the Official MCP Registry
Go from natural language to verified finite state machines — topology bugs caught before code runs.
About
Go from natural language to verified finite state machines — topology bugs caught before code runs.
What You'll Need
Set these up before or after installing:
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.Required
Environment variable: ANTHROPIC_API_KEY
LLM provider to use: anthropic (default), openai, grok, or ollama.
Environment variable: ORCA_PROVIDER
Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.
Environment variable: ORCA_MODEL
How to Install
Add this to your MCP configuration file:
{
"mcpServers": {
"io-github-jascal-orca-mcp-server": {
"env": {
"ORCA_MODEL": "your-orca-model-here",
"ORCA_PROVIDER": "your-orca-provider-here",
"ANTHROPIC_API_KEY": "your-anthropic-api-key-here"
},
"args": [
"-y",
"@orcalang/orca-mcp-server"
],
"command": "npx"
}
}
}Security Report
10.0
Low Risk10.0Low RiskValid MCP server (2 strong, 4 medium validity signals). No known CVEs in dependencies. Imported from the Official MCP Registry. 1 finding(s) downgraded by scanner intelligence.
Scanned 14 files · 1 finding
Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.
Permissions Required
This plugin requests these system permissions. Most are normal for its category.
Reviews
No reviews yet
Be the first to review this server!