# Orca Lang

> Use this tool when you need to create and validate finite state machines from natural language descriptions, solving problems like reachability and deadlocks in state machine design. It takes in natural language inputs and outputs compiled state machines in XState and Mermaid formats, with runtimes for TypeScript, Python, and Go. Ideal for use cases where formal verification and code generation are required for reliable state machine implementation.

Canonical page: https://skillsregistry.net/skills/orca-lang  
JSON: https://api.skillsregistry.net/v1/skills/orca-lang

## Description

Generates and verifies finite state machines from natural language descriptions. Checks for reachability, deadlocks, and guard determinism before code generation. Compiles state machines to XState and Mermaid targets with runtimes for TypeScript, Python, and Go.

## Trust

- **Trust score (0–1):** 0.50
- **Verification tier:** unverified

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-04-25

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/orca-lang)
- **Repository:** <https://github.com/jascal/orca-lang/tree/HEAD/packages/mcp-server>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "orca-lang"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/orca-lang` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/orca-lang/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt