MCP Server
Orca MCP Server
io.github.jascal/orca-mcp-server
What this MCP does
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.