Developer · Local MCP server
Orca MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.jascal/orca-mcp-server- Version
- 0.1.30
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- npm
- Published
- 2026-06-03
- Updated
- 2026-06-03
- Publisher
- jascal (GitHub)
- Repository
- github.com/jascal/orca-lang (folder packages/mcp-server)
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| npmruntime: npx | @orcalang/orca-mcp-server | 0.1.30 | stdio |
How to connect Orca MCP Server
Orca MCP Server runs locally from a Node.js package published to the npm registry: @orcalang/orca-mcp-server version 0.1.30. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Node.js; clients usually start it with npx — the usual command is npx -y @orcalang/orca-mcp-server@0.1.30. It reads these environment variables: ANTHROPIC_API_KEY (secret), ORCA_PROVIDER and ORCA_MODEL; set them in the client's configuration for this server.
In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):
{
"mcpServers": {
"orca-mcp-server": {
"command": "npx",
"args": [
"-y",
"@orcalang/orca-mcp-server@0.1.30"
],
"env": {
"ANTHROPIC_API_KEY": "<secret>",
"ORCA_PROVIDER": "<value>",
"ORCA_MODEL": "<value>"
}
}
}
}Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| 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 |
| ORANO MCP ServerRead-only MCP server exposing a user ORANO library to their own AI agent. | Remote · HTTP |
| OrbitAn app builder for agents. Your agent creates screens, a Postgres database, and a live URL. | Remote · HTTP |
| 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 |