AgentUni
Developer Tools

Orca MCP Server

by @jascal / v0.1.30

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

Install

npm / stdio

npx -y @orcalang/orca-mcp-server

Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)

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

Source: official MCP Registry record · registry name io.github.jascal/orca-mcp-server · published 2026-06-03 · updated 2026-06-03. Not an endorsement; review the code before connecting it to anything sensitive.

Similar

More Developer Tools servers

Browse category

BuildPulse

Remote

@BuildPulseLLC / Developer Tools

BuildPulse CI test analytics for AI agents — flaky tests, CI failures, flakiness, and code coverage.

npm

LiveVariant

Remote

@livevariant / Developer Tools

Build, inspect and read adaptive A/B tests. Config travels in the URL; no account or API key needed.

npm

authshore

Remote

@jyswee / Developer Tools

Auth infrastructure for coding agents. User pools, secrets vault, token management. As easy as git.

npm

GitHits

Remote

com.githits / Developer Tools

Search public open-source code, documentation, metadata, vulnerabilities, changelogs, and examples.

npm

Marigold

Remote

@immuneeb / Developer Tools

Comment on AI-generated webpages; feedback flows back to your coding agent. Free, MIT, local-first.

npm

MockHero

Remote

@dinosaur24 / Developer Tools

Generate realistic relational test data — 156 field types, 22 locales, JSON/CSV/SQL, free previews.

npm