How do I install the orca mcp server?

Use a recorded configuration for your client, replace example credential values and paths, and verify the documented runtime. Restart or reconnect the client, then inspect the available tools.

What credentials does it need?

It reads `ORCA_API_KEY`, `ORCA_PROVIDER`, `ORCA_BASE_URL`, `ORCA_MODEL` from the environment. Store these in your client's env block or a secrets manager — never commit them to a repository — and grant the narrowest scope that still covers your use case.

SSyncDev

Start a project

Orca MCP Server

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

Local serverstdioPython

What is the Orca MCP Server?

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

What you get

The core insight: LLMs generate flat transition tables reliably, but they struggle to guarantee topology correctness on their own. Orca separates program structure (state machine topology) from computation (action functions), then verifies the structure automatically before any code runs.

States with [initial] / [final] markers, descriptions, on_entry / on_exit actions
Transitions as a flat table — the format LLMs generate most reliably
Guard expressions: comparisons, boolean logic, null checks
Hierarchical (nested) states
Parallel regions with all-final / any-final / custom sync strategies
Timeouts: timeout: 30s -> state_name

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

Tool	What it does
submit_payment	payment_authorized
payment_declined	retry_requested
on_entry	send_authorization_request
on_done	-> completed
invoke	PaymentProcessor
on_error	payment_failed
timeout	30s -> timed_out

How to install the Orca MCP Server

{
  "mcpServers": {
    "orca": {
      "command": "npx",
      "args": ["-y", "@orcalang/orca-mcp-server"],
      "env": {
        "ORCA_API_KEY": "<your-api-key>",
        "ORCA_PROVIDER": "anthropic"
      }
    }
  }
}

Configuration as documented by the project. Restart the client after saving.

Configuration

Variable	Description	Required
ORCA_API_KEY	Credential the server authenticates with.	Yes
ORCA_PROVIDER	Configuration value read at startup.	Optional
ORCA_BASE_URL	Endpoint or connection string the server talks to.	Yes
ORCA_MODEL	Configuration value read at startup.	Optional

Example prompts to try

“Use Orca to submit payment.”
“Use Orca to payment declined.”
“Use Orca to on entry.”

Frequently asked questions

Go from natural language to verified finite state machines — topology bugs caught before code runs. Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.

Alternatives to the Orca MCP Server

Stripe

Official

Access Stripe billing and payment tools through its MCP server. Connect with OAuth or a supported agent API key and choose the intended account.

Payments & CommerceRemoteTypeScript★ 1.1k

Git

Official

Local repository surgery — status, diffs, commits, branches and history for any repo on disk.

Developer ToolsPython★ 63.0k

Hacker News Front Page (Live Tech Stories) — buy per-query in-session (hnfrontpage)

Hacker News front page: top stories, points, links. Register in-session — free testnet funds.

Payments & CommerceRemote

ProofFetch — Cited Web Evidence

Free URL preflight. Cited text via separate paid Stripe MPP API.