Sviluppo · Server MCP locale
Orca MCP Server
Go from natural language to verified finite state machines - topology bugs caught before code runs.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.jascal/orca-mcp-server- Versione
- 0.1.30
- Stato
- Attivo
- Categoria
- sviluppo
- Trasporto
- stdio (processo locale)
- Pacchetto
- npm
- Pubblicato
- 3 giugno 2026
- Aggiornato
- 3 giugno 2026
- Editore
- jascal (GitHub)
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/jascal) · come funziona
- Repository
- github.com/jascal/orca-lang (cartella packages/mcp-server)
- Fonte
- Voce nell’API del registro
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| npmruntime: npx | @orcalang/orca-mcp-server | 0.1.30 | stdio |
Come collegare Orca MCP Server
Orca MCP Server viene eseguito in locale a partire da un pacchetto Node.js pubblicato nel registro npm: @orcalang/orca-mcp-server, versione 0.1.30. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Node.js; i client in genere lo avviano con npx - il comando abituale è npx -y @orcalang/orca-mcp-server@0.1.30. Legge queste variabili d’ambiente: ANTHROPIC_API_KEY (segreto), ORCA_PROVIDER e ORCA_MODEL; vanno impostate nella configurazione del client per questo server.
Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):
{
"mcpServers": {
"orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server@0.1.30"
],
"env": {
"ANTHROPIC_API_KEY": "<segreto>",
"ORCA_PROVIDER": "<valore>",
"ORCA_MODEL": "<valore>"
}
}
}
}Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| OptuxCreate and run A/B tests, patches, split tests and feature flags on your website. | Remoto · HTTPVerifica live: accesso richiesto |
| oraclemcpEngine-free, governed Oracle Database MCP server with a fail-closed SQL guard (unofficial). | Locale · stdio |
| OrangeProFind test gaps, generate grounded tests, and dynamically prove behavior with mutation testing. | Locale · stdio |
| OrbitAn app builder for agents. Your agent creates screens, a Postgres database, and a live URL. | Remoto · HTTPVerifica live: accesso richiesto |
| OrcareplayRead, replay and fork recorded coding-agent runs. | Locale · stdio |
| OrcaRouterBrowse 160+ LLM models and live pricing - no API key needed for catalog. Add key to route chat. | Locale · stdio |
| OrchestratorLet one coding-agent CLI consult another: Codex, Claude Code, OpenCode, Copilot or Antigravity. | Locale · stdio |
| OrchestrUIDeterministic UI policy, discovery and audits for coding agents across seven ecosystems. | Locale · stdio |