1. Conduid
  2. Developer Tools
  3. Orca MCP Server
MCP server · Developer Tools

Orca MCP Server

by · github.com/jascal/orca-lang

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

Unclaimed devtools
InstallView source
37Low

Scored 9 days ago · breakdown

About Orca MCP Server

Orca MCP Server is an MCP server published by jascal in the Developer Tools category: go from natural language to verified finite state machines — topology bugs caught before code runs.

The repository has 14 stars and 2 forks, with the last commit 4 months ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

Claude Code
claude mcp add orca-mcp-server-98e7 -- npx -y @orcalang/orca-mcp-server
npx
npx -y @orcalang/orca-mcp-server

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Orca MCP Server

Powered by Claude · Grounded in docs

I know everything about Orca MCP Server. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Orca MCP Server

How do I install Orca MCP Server?

Run claude mcp add orca-mcp-server-98e7 -- npx -y @orcalang/orca-mcp-server, then add the server to your MCP client's configuration.

Is Orca MCP Server safe to use with an AI agent?

Its trust score is 37 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Orca MCP Server still maintained?

Yes — the last commit was 4 months ago. The repository has 14 stars and 2 forks.