io.github.jascal/orca-mcp-serverother

Orca MCP Server

Verified · yesterday

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

Install

claude mcp add orca-mcp-server -- npx -y @orcalang/[email protected]

Requires: ANTHROPIC_API_KEY, ORCA_PROVIDER, ORCA_MODEL

Our take

Turns natural-language specifications into verified finite state machines, with an emphasis on catching topology or logic issues before implementation. It is for developers doing protocol, workflow, or agent-state design rather than general-purpose MCP use. The concept is specialized but technically serious, and the download activity suggests some real adoption despite a still-small public footprint.

reviewed by hand · 2026-07-08

Something wrong or dead here? Report it

Verification record

last verified: yesterday
github stars: 14
last commit: 3 mo ago
archived: no
npm: @orcalang/orca-mcp-server
latest version: 0.1.30
in registry since: 2026-06-03

github.com/jascal/orca-lang

More in other

chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 3 days ago

MCP server for Chrome DevTools

hand-reviewed49k starschecked 3 days ago

reactive-resumeother

Reactive Resume

Verified · 3 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed41k starschecked 3 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 3 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars221 dl/wkchecked 3 days ago

PostHog MCP Server

Verified · 5 days ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed38k starschecked 5 days ago

Keploy

Verified · 18 days ago

End-to-end API testing — generate and run tests from OpenAPI, curl, Postman, or real user traffic.

hand-reviewed18k starschecked 18 days ago

coderother

Coder

Verified · 19 days ago

Manage Coder workspaces, templates, and cloud development environments

hand-reviewed14k starschecked 19 days ago