MCP server

Orca MCP Server

io.github.jascal/orca-mcp-server

Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 25 Oct 2026, 21:11 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add orca-mcp-server -- npx -y @orcalang/orca-mcp-server@0.1.30

Claude Desktop

{"mcpServers":{"orca-mcp-server":{"command":"npx","args":["-y","@orcalang/orca-mcp-server@0.1.30"]}}}

Codex (config.toml)

[mcp_servers.orca-mcp-server]
command = "npx"
args = ["-y","@orcalang/orca-mcp-server@0.1.30"]

Gemini CLI

{"mcpServers":{"orca-mcp-server":{"command":"npx","args":["-y","@orcalang/orca-mcp-server@0.1.30"]}}}

Cursor

{"mcpServers":{"orca-mcp-server":{"command":"npx","args":["-y","@orcalang/orca-mcp-server@0.1.30"]}}}

VS Code

{"servers":{"orca-mcp-server":{"type":"stdio","command":"npx","args":["-y","@orcalang/orca-mcp-server@0.1.30"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

AgentPort Discovery
Resolve goals to machine-capable businesses and execution paths with discovery tools.
Perkusai (US)
AI shopping search: real, in-stock US and Amazon products with prices, ratings and buy links.
Lunoo Rankings
Consensus rankings for 75,000+ products across 2,600+ niches.
Payotte
Verified Canadian real-estate pros + housing data: rates, transfer tax, rent-vs-buy, QC assessments.
ARBITER
Decision arbitration, action routing, workflow control, deployment remediation, persistent memory.
chathome.lu — Luxembourg Real Estate
Luxembourg real estate for AI agents: property search, price estimates, market data, commutes.
my quant — finite market briefing
Read-only discovery for a finite, offline-capable market briefing with explicit evidence boundaries.
vrsai
Machine-native capabilities with explicit contracts and machine-readable commerce.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.jascal/orca-mcp-server.svg)](https://aptlynx.net/servers/io.github.jascal/orca-mcp-server)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents