Orca MCP Server

io.github.jascal/orca-mcp-server

Go from natural language to verified finite state machines — topology bugs caught before code runs.

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server@0.1.30"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<your ANTHROPIC_API_KEY>",
        "ORCA_PROVIDER": "anthropic"
      }
    }
  }
}
Environment variables
  • ANTHROPIC_API_KEYsecretAnthropic 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_PROVIDERLLM provider to use: anthropic (default), openai, grok, or ollama.

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.1.30
Registry
active
Published
6/3/2026

More Developer Tools servers

Browse all Developer Tools →

LingYi Tools

Jascenn

Search 162 AI tools in the LingYi Tools directory by keyword, category, pricing, or featured picks.

Developer ToolsAdded 1 week ago

Headroom

Jasdish-Singh

Watch RAM and disk on your Windows PC. Cleanup tools return plans only.

Developer ToolsAdded 2 weeks ago

JANCTION Render

JasmyLab-JANCTION

Blender and GLB/FBX/USD/STL rendered on cloud GPUs for AI agents: product shots, turntables, MP4

Developer ToolsAdded 6 days ago

io.github.jason2016/clawshow-mcp-server

jason2016

Instant Backend for SMBs: pages, payments, eSign AES eIDAS, notifications, inventory, reports

Developer ToolsAdded 7 months ago

io.github.Jason26214/computer-use-omni

Jason26214

A 1:1 replica of Claude Desktop's computer-use tool surface, for Windows and the Claude Code CLI.

Developer ToolsAdded 4 months ago

io.github.Jason26214/omni-computer-use

Jason26214

Windows MCP server replicating Anthropic's computer-use tool surface, for any MCP client.

Developer ToolsAdded 1 month ago

Add the badge to your site

Show visitors that Orca MCP Server is listed here — it’s also the link we check for a free listing.

Orca MCP Server — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-jascal-orca-mcp-server?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Orca MCP Server — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Orca MCP Server — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-jascal-orca-mcp-server?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.