# Orca MCP Server (npm · @orcalang/orca-mcp-server)

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

- Trust score: 71/100 (medium)
- Change this week: +18
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-08-03

## Components

- npm · `@orcalang/orca-mcp-server`: 71/100 (this document), [markdown](https://verifymcp.io/servers/jascal-orca-mcp-server/orcalang-orca-mcp-server.md), [page](https://verifymcp.io/servers/jascal-orca-mcp-server/orcalang-orca-mcp-server)

## Channel facts

- Registry: `npm`
- Package: `@orcalang/orca-mcp-server`
- Version: `0.1.30`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-08-03.

- **Supply Chain Security**: 87/100
  - No malware found by supply-chain analysis.
  - Only part of the dependency tree could be resolved (99 of 103), so this covers what we could see, not the whole tree.
  - No install/post-install scripts declared.
  - Only part of the dependency tree could be resolved (99 of 103), so this covers what we could see, not the whole tree.
- **Provenance & Transparency**: 45/100
  - Source repository is publicly reachable at the declared URL.
  - Provenance check failed: no build-provenance attestation is published.
  - Clear OSI-approved license (Apache-2.0).
  - Actively maintained (last published 61 days ago).
  - Disclosure check failed: no security disclosure policy was found in the source repository.
- **Schema Quality & AI Usability**: 85/100
  - 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).
  - AI-judged instruction clarity (excellent).
  - Tool/resource definitions use about 1597 tokens (~106/item across 15 items; 12 tools + 3 resources), lean.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 27/100
  - Stability observed for 8 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 100/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 100% of tool parameters carry a description.
- **Capabilities**: 100/100
  - Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.

## Install

### Claude

```bash
claude mcp add jascal-orca-mcp-server -- npx -y @orcalang/orca-mcp-server
```

### Codex

```bash
codex mcp add jascal-orca-mcp-server -- npx -y @orcalang/orca-mcp-server
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "jascal-orca-mcp-server": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "@orcalang/orca-mcp-server"
      ],
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add jascal-orca-mcp-server --command npx --arg -y --arg @orcalang/orca-mcp-server
```

### Hermes

```yaml
mcp_servers:
  jascal-orca-mcp-server:
    command: "npx"
    args: ["-y", "@orcalang/orca-mcp-server"]
```

### Other

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

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-08-03 (score 71, +4)

- [functional improvement] Stability: unverified → 0.27

### 2026-08-02 (score 67, +60)

- [security regression] Provenance: unverified → fail
- [security improvement] Known CVEs: unverified → partial
- [security improvement] Install scripts: unverified → pass
- [security improvement] Malware scan: unverified → pass
- [security] Stability: Stability not yet verified: not enough scan history yet (needs a 30-day window).
- [functional regression] Dependency health: partial → unverified
- [functional improvement] MCP protocol: unverified → pass
- [functional improvement] Maintenance: unverified → pass
- [functional improvement] License: unverified → pass
- [functional improvement] Schema quality: unverified → excellent
- [functional improvement] Tool coverage: unverified → 100
- [functional improvement] Schema quality: unverified → 100
- [functional] Licence: Apache-2.0

### 2026-08-01 (score 7, −28)

- [functional] We updated how we score, so this day's move reflects our rubric, not a change to the server

### 2026-07-31 (score 35, −18)

- [security regression] Malware scan: pass → unverified

### 2026-07-29 (score 53, +28)

- [functional regression] Dependency health: partial → unverified
- [functional improvement] Schema quality: unverified → 100
- [functional improvement] Tool coverage: unverified → 100

### 2026-07-28 (score 25, −28)

- [functional regression] Tool coverage: 100 → unverified
- [functional regression] Schema quality: 100 → unverified
- [functional improvement] Dependency health: unverified → partial

### 2026-07-27 (score 53)

First indexed and scored.

## MCP tools (12)

### `parse_machine` (~108 tokens)

Parse .orca.md source → JSON (states, events, transitions, guards, actions, context). Syntax: # machine Name, ## state Name [initial|final], ## transitions table (| Source | Event | Guard | Target | Action |).

Input parameters:

- `source` (string, required): Raw .orca.md content. Must start with "# machine Name". States use "## state Name [initial|final]". Transitions use a markdown table with columns: Source, Event, Guard, Target, Action.

### `verify_machine` (~96 tokens)

Verify machine structure: checks [initial] presence (exactly one), reachability, no deadlocks, guard determinism. Returns structured errors with codes and suggestions. Run before compile_machine.

Input parameters:

- `source` (string, required): Raw .orca.md content. Must start with "# machine Name". States use "## state Name [initial|final]". Transitions use a markdown table with columns: Source, Event, Guard, Target, Action.

### `compile_machine` (~108 tokens)

Compile verified machine to XState v5 TypeScript or Mermaid stateDiagram-v2. Run verify_machine first. target: "xstate" (default) or "mermaid".

Input parameters:

- `source` (string, required): Raw .orca.md content. Must start with "# machine Name". States use "## state Name [initial|final]". Transitions use a markdown table with columns: Source, Event, Guard, Target, Action.
- `target` (string): Compilation target (default: xstate)

### `generate_machine` (~66 tokens)

Generate draft .orca.md from natural language spec. Returns source + is_multi flag. Always verify_machine next, then refine_machine if errors. Requires LLM API key (ANTHROPIC_API_KEY, etc.).

Input parameters:

- `spec` (string, required): Natural language description of the desired state machine

### `generate_actions` (~148 tokens)

Generate action scaffold code from verified machine. lang: typescript (default), python, go, or rust. Pass verified .orca.md source. use_llm: true for implementations vs templates. generate_tests: true for test scaffolds.

Input parameters:

- `generate_tests` (boolean): Include test scaffolds in the output (default: false)
- `lang` (string): Target language (default: typescript)
- `source` (string, required): Raw .orca.md content of a valid machine. Actions in the "## actions" table (| Name | Signature |) will have stubs generated.
- `use_llm` (boolean): Use LLM to generate implementations instead of templates (default: false)

### `generate_multi_machine` (~65 tokens)

Generate coordinated multi-machine .orca.md from spec (machines separated by ---). Use invoke: ChildMachine in states. Always verify_machine next, then refine_machine if errors. Requires LLM API key.

Input parameters:

- `spec` (string, required): Natural language description of the desired multi-machine system

### `refine_machine` (~108 tokens)

Fix verify_machine errors using LLM. Loops until valid or max_iterations (default: 3). Pass errors array from verify_machine output, or omit to auto-verify first.

Input parameters:

- `errors` (array): Verification errors from verify_machine. If omitted, verification runs automatically.
- `max_iterations` (number): Maximum refinement iterations (default: 3)
- `source` (string, required): Raw .orca.md content with errors. Must use "# machine Name" heading and proper Orca markdown syntax.

### `server_status` (~35 tokens)

Return MCP server version, active LLM provider/model, and configuration. API keys are never exposed — only whether a key is configured.

### `parse_decision_table` (~76 tokens)

Parse decision table from .orca.md source → JSON (conditions, actions, rules). Syntax: # decision_table Name, ## conditions table, ## actions table, ## rules table. Can be standalone or combined with machines in the same file.

Input parameters:

- `source` (string, required): Raw .orca.md content containing a # decision_table heading.

### `verify_decision_table` (~56 tokens)

Verify decision table: checks completeness (all condition combinations covered), consistency (no contradictory rules), redundancy. Returns structured errors with codes and suggestions.

Input parameters:

- `source` (string, required): Raw .orca.md content containing a # decision_table heading.

### `compile_decision_table` (~70 tokens)

Compile verified decision table to TypeScript, Python, Go, or Rust evaluator function, or portable JSON. Run verify_decision_table first.

Input parameters:

- `source` (string, required): Raw .orca.md content containing a # decision_table heading.
- `target` (string): Compilation target (default: typescript)

### `generate_decision_table` (~52 tokens)

Generate a decision table in .orca.md format from a natural language spec. Always verify_decision_table next. Requires LLM API key.

Input parameters:

- `spec` (string, required): Natural language description of the decision logic

## Diagnostics

Captured diagnostic sections: Provenance, Dependencies. The full working is on the page: https://verifymcp.io/servers/jascal-orca-mcp-server/orcalang-orca-mcp-server#diagnostics

## Score history

- 2026-08-03: 71
- 2026-08-02: 67
- 2026-08-01: 7
- 2026-07-31: 35
- 2026-07-29: 53
- 2026-07-28: 25
- 2026-07-27: 53

## Links

- npm package: https://www.npmjs.com/package/@orcalang/orca-mcp-server
- Socket report: https://socket.dev/npm/package/@orcalang/orca-mcp-server
- Repository: https://github.com/jascal/orca-lang
- Changelog RSS feed: https://verifymcp.io/servers/jascal-orca-mcp-server/orcalang-orca-mcp-server/changelog.xml
- Changelog JSON feed: https://verifymcp.io/servers/jascal-orca-mcp-server/orcalang-orca-mcp-server/changelog.json
- HTML version of this page: https://verifymcp.io/servers/jascal-orca-mcp-server/orcalang-orca-mcp-server