Orca MCP Server✓

The full server descriptor as registered with IndusMCP.

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.jascal/orca-mcp-server",
  "description": "Go from natural language to verified finite state machines — topology bugs caught before code runs.",
  "title": "Orca MCP Server",
  "repository": {
    "url": "https://github.com/jascal/orca-lang",
    "source": "github",
    "id": "1189955224",
    "subfolder": "packages/mcp-server"
  },
  "version": "0.1.27",
  "packages": [
    {
      "registryType": "npm",
      "identifier": "@orcalang/orca-mcp-server",
      "version": "0.1.27",
      "runtimeHint": "npx",
      "transport": {
        "type": "stdio"
      },
      "environmentVariables": [
        {
          "description": "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.",
          "isSecret": true,
          "name": "ANTHROPIC_API_KEY"
        },
        {
          "description": "LLM provider to use: anthropic (default), openai, grok, or ollama.",
          "default": "anthropic",
          "name": "ORCA_PROVIDER"
        },
        {
          "description": "Model name to use for LLM tools. Defaults to claude-sonnet-4-6 for Anthropic.",
          "name": "ORCA_MODEL"
        }
      ]
    }
  ],
  "_meta": {
    "dev.indusmcp/source": "official-registry-mirror",
    "dev.indusmcp/synced": "2026-05-12"
  }
}