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
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| npmentorno de ejecución: npx | @orcalang/orca-mcp-server | 0.1.30 | stdio |
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
| Servidor | Ejecución |
|---|---|
| OptuxCreate and run A/B tests, patches, split tests and feature flags on your website. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| oraclemcpEngine-free, governed Oracle Database MCP server with a fail-closed SQL guard (unofficial). | Local · stdio |
| OrangeProFind test gaps, generate grounded tests, and dynamically prove behavior with mutation testing. | Local · stdio |
| 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ón |
| OrcareplayRead, replay and fork recorded coding-agent runs. | Local · stdio |
| OrcaRouterBrowse 160+ LLM models and live pricing - no API key needed for catalog. Add key to route chat. | Local · stdio |
| OrchestratorLet one coding-agent CLI consult another: Codex, Claude Code, OpenCode, Copilot or Antigravity. | Local · stdio |
| OrchestrUIDeterministic UI policy, discovery and audits for coding agents across seven ecosystems. | Local · stdio |