Ontwikkeling · Lokale MCP-server

Orca MCP Server

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

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam
io.github.jascal/orca-mcp-server
Versie
0.1.30
Status
Actief
Categorie
ontwikkeling
Transport
stdio (lokaal proces)
Pakket
npm
Gepubliceerd
3 juni 2026
Bijgewerkt
3 juni 2026
Uitgever
jascal (GitHub)
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/jascal) · hoe
Repository
github.com/jascal/orca-lang (map packages/mcp-server)
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
npmruntime: npx@orcalang/orca-mcp-server0.1.30stdioANTHROPIC_API_KEY (geheim), ORCA_PROVIDER en ORCA_MODEL

Zo verbind je Orca MCP Server

Orca MCP Server draait lokaal vanuit een Node.js-pakket dat in het npm-register is gepubliceerd: @orcalang/orca-mcp-server, versie 0.1.30. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Node.js; clients starten het meestal met npx - het gebruikelijke commando is npx -y @orcalang/orca-mcp-server@0.1.30. Hij leest deze omgevingsvariabelen: ANTHROPIC_API_KEY (geheim), ORCA_PROVIDER en ORCA_MODEL; stel ze in de configuratie van de client voor deze server in.

In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):

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

Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer servers in de categorie ontwikkeling

Alle 5.152 →
ServerDraaitEndpoint of pakket
OptuxCreate and run A/B tests, patches, split tests and feature flags on your website.Extern · HTTPLivecontrole: inloggen vereistmcp.optux.ai
oraclemcpEngine-free, governed Oracle Database MCP server with a fail-closed SQL guard (unofficial).Lokaal · stdioOCI-image (Docker): ghcr.io/muhdur/oraclemcp:0.11.0
OrangeProFind test gaps, generate grounded tests, and dynamically prove behavior with mutation testing.Lokaal · stdionpm: @orangepro/mcp-server
OrbitAn app builder for agents. Your agent creates screens, a Postgres database, and a live URL.Extern · HTTPLivecontrole: inloggen vereistmcp.orbitapps.io
OrcareplayRead, replay and fork recorded coding-agent runs.Lokaal · stdionpm: orcareplay
OrcaRouterBrowse 160+ LLM models and live pricing - no API key needed for catalog. Add key to route chat.Lokaal · stdionpm: @orcarouter/mcp
OrchestratorLet one coding-agent CLI consult another: Codex, Claude Code, OpenCode, Copilot or Antigravity.Lokaal · stdioPyPI: orchestrator-mcp-server
OrchestrUIDeterministic UI policy, discovery and audits for coding agents across seven ecosystems.Lokaal · stdionpm: orchestrui