# Orca MCP Server

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

Canonical: https://claudelist.com/listings/mcp-reg-io-github-jascal-orca-mcp-server-03963a780f

Category: MCP Servers

Source: community · jascal

Source checked: 2026-10-14

Website: https://www.claudemcp.org/mcp/registry/io-github-jascal-orca-mcp-server-03963a780f5f.html

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

## Install or set up

1. Review the publisher repository and npm package `@orcalang/orca-mcp-server@0.1.30` before running it. The MCP Registry declares this package as a stdio server.
2. Install Node.js, then run the command below in your Claude Code project. Check the publisher README for any account or configuration requirements.
3. Restart Claude Code and use `/mcp` to confirm the connection and review its tools and permissions.

```sh
claude mcp add mcp-io-github-jascal-orca-mcp-server-03963a -- npx -y @orcalang/orca-mcp-server@0.1.30
```

Installation guide: https://github.com/jascal/orca-lang