Développement · Serveur MCP local

Orca MCP Server

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

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.jascal/orca-mcp-server
Version
0.1.30
Statut
Actif
Catégorie
développement
Transport
stdio (processus local)
Paquet
npm
Publié
3 juin 2026
Mis à jour
3 juin 2026
Éditeur
jascal (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/jascal) · comment
Dépôt
github.com/jascal/orca-lang (dossier packages/mcp-server)
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npmenvironnement d’exécution : npx@orcalang/orca-mcp-server0.1.30stdioANTHROPIC_API_KEY (secret), ORCA_PROVIDER et ORCA_MODEL

Comment connecter Orca MCP Server

Orca MCP Server s’exécute en local depuis un paquet Node.js publié sur le registre npm : @orcalang/orca-mcp-server, version 0.1.30. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y @orcalang/orca-mcp-server@0.1.30. Il lit ces variables d’environnement : ANTHROPIC_API_KEY (secret), ORCA_PROVIDER et ORCA_MODEL ; définissez-les dans la configuration du client pour ce serveur.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
OptuxCreate and run A/B tests, patches, split tests and feature flags on your website.Distant · HTTPVérification en direct : connexion requisemcp.optux.ai
oraclemcpEngine-free, governed Oracle Database MCP server with a fail-closed SQL guard (unofficial).Local · stdioImage 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.Distant · HTTPVérification en direct : connexion requisemcp.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