Desarrollo · Servidor MCP local

Orca MCP Server

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

Lo que indica el MCP Registry

La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.

Nombre en el registro
io.github.jascal/orca-mcp-server
Versión
0.1.30
Estado
Activo
Categoría
desarrollo
Transporte
stdio (proceso local)
Paquete
npm
Publicado
3 de junio de 2026
Actualizado
3 de junio de 2026
Editor
jascal (GitHub)
Espacio de nombres
Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/jascal) · cómo
Repositorio
github.com/jascal/orca-lang (carpeta packages/mcp-server)
Fuente
Entrada en la API del registro

Paquetes

RegistroPaqueteVersiónTransporteVariables de entorno
npmentorno de ejecución: npx@orcalang/orca-mcp-server0.1.30stdioANTHROPIC_API_KEY (secreto), ORCA_PROVIDER y ORCA_MODEL

Cómo conectar Orca MCP Server

Orca MCP Server se ejecuta en local a partir de un paquete de Node.js publicado en el registro npm: @orcalang/orca-mcp-server, versión 0.1.30. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Node.js; los clientes suelen iniciarlo con npx - el comando habitual es npx -y @orcalang/orca-mcp-server@0.1.30. Lee estas variables de entorno: ANTHROPIC_API_KEY (secreto), ORCA_PROVIDER y ORCA_MODEL; hay que definirlas en la configuración del cliente para este servidor.

En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):

{
  "mcpServers": {
    "orca-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@orcalang/orca-mcp-server@0.1.30"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<secreto>",
        "ORCA_PROVIDER": "<valor>",
        "ORCA_MODEL": "<valor>"
      }
    }
  }
}

Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar

Más servidores de desarrollo

Ver los 5152 →
ServidorEjecuciónEndpoint o paquete
OptuxCreate and run A/B tests, patches, split tests and feature flags on your website.Remoto · HTTPComprobación en directo: requiere inicio de sesiónmcp.optux.ai
oraclemcpEngine-free, governed Oracle Database MCP server with a fail-closed SQL guard (unofficial).Local · stdioImagen OCI (Docker): ghcr.io/muhdur/oraclemcp:0.11.0
OrangeProFind test gaps, generate grounded tests, and dynamically prove behavior with mutation testing.Local · stdionpm: @orangepro/mcp-server
OrbitAn app builder for agents. Your agent creates screens, a Postgres database, and a live URL.Remoto · HTTPComprobación en directo: requiere inicio de sesiónmcp.orbitapps.io
OrcareplayRead, replay and fork recorded coding-agent runs.Local · stdionpm: orcareplay
OrcaRouterBrowse 160+ LLM models and live pricing - no API key needed for catalog. Add key to route chat.Local · stdionpm: @orcarouter/mcp
OrchestratorLet one coding-agent CLI consult another: Codex, Claude Code, OpenCode, Copilot or Antigravity.Local · stdioPyPI: orchestrator-mcp-server
OrchestrUIDeterministic UI policy, discovery and audits for coding agents across seven ecosystems.Local · stdionpm: orchestrui