← Back to the index
Quiet · Local · npm

Orca MCP Server NEW

io.github.jascal/orca-mcp-server copy

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

CategoryDev Tools
TransportLocal
Registry freshnessQuiet
Version0.1.30
Distributionnpm

Install & connect

Install · npmnpx
$ npx -y @orcalang/orca-mcp-server

Publisher-declared package identifier. Verify current package, permissions and client configuration before running; execution has not been tested here.

Freshness

Quiet · no update in months

Last registry update 5mo ago · published Jun 3, 2026.

Registry position over time

Where Orca MCP Server sits in the freshest-first index, tracked daily — new to the tracked index since the prior run. position movement fills in as the index runs daily.

Current position#50606
Best position#50606
Since prior runNEW

About this server

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

Local — runs on your machine over stdio (npx / uvx / docker / bundle). Indexed under Dev Tools, alongside 29351 other servers. Health is freshness-derived from the registry's last-update timestamp; this index does not run the server, so capabilities and tool lists live in the source repository.

More in Dev Tools 29352

Browse all 29351 in Dev Tools →
Published · Jun 3, 2026
Updated · Jun 3, 2026
Source · official Model Context Protocol registry