# Orca MCP Server

> Use this tool when you need to automatically generate and verify finite state machines from natural language inputs, catching topology bugs before code execution to ensure reliable system behavior. It solves problems related to manual state machine creation and debugging, providing a seamless interface for natural language inputs and verified finite state machine outputs. Ideal for use cases requiring rigorous system validation and testing, such as embedded systems or critical infrastructure development.

Canonical page: https://skillsregistry.net/skills/io-github-jascal-orca-mcp-server  
JSON: https://api.skillsregistry.net/v1/skills/io-github-jascal-orca-mcp-server

## Description

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

## Trust

- **Trust score (0–1):** 0.70
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 0.1.11
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-19

## Source

- **Source listing:** [MCP Registry](https://registry.modelcontextprotocol.io/v0/servers/io.github.jascal%2Forca-mcp-server)
- **Repository:** <https://github.com/jascal/orca-lang>

## 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": "io-github-jascal-orca-mcp-server"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/io-github-jascal-orca-mcp-server` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/io-github-jascal-orca-mcp-server/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