io.github.jascal/orca-mcp-serverother

Orca MCP Server

Verified · 15 days ago

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
15 days ago
github stars
14
last commit
4 mo ago
archived
no
latest version
0.1.30
in registry since
2026-06-03

github.com/jascal/orca-lang

front-end-checklistother

Front-End Checklist

Verified · 2 days ago

Review frontend code and live pages against 386 quality-gated web development rules.

hand-reviewed74k starschecked 2 days ago

chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 17 days ago

MCP server for Chrome DevTools

hand-reviewed52k stars1.5m dl/wkchecked 17 days ago

reactive-resumeother

Reactive Resume

Verified · 17 days ago

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

hand-reviewed43k starschecked 17 days ago

PostHog MCP Server

Verified · 20 days ago

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

hand-reviewed40k starschecked 20 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 17 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars138 dl/wkchecked 17 days ago

openworkother

OpenWork MCP Gateway

Verified · 7 days ago

Your OpenWork org's skills, plugins, workflows, and connections through one OAuth MCP URL.

hand-reviewed24k starschecked 7 days ago