Skip to content
Verified official

Orca MCP Server MCP

v0.1.30

io.github.jascal/orca-mcp-server

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

transport:stdio runtime:npm

Target client

run in your project directory

Held in this page only — never stored, logged, or sent anywhere but back to your screen.

claude mcp add orca-mcp-server -e ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> -e ORCA_PROVIDER=<ORCA_PROVIDER> -e ORCA_MODEL=<ORCA_MODEL> -- npx -y @orcalang/orca-mcp-server

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.