Verified record · from the answer index

Orca MCP Server

mcptested · static-verifiedscore 35/100signed passport ✓published 136d ago · verified 2026-08-08

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/orca-mcp-server

registry:io.github.jascal/orca-mcp-server · published by jascal · source repository