Servidor MCP
Orca MCP Server
io.github.jascal/orca-mcp-server
Qué hace este MCP
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Capacidades
Herramientas
0
herramientas
Los metadatos de las herramientas no están disponibles públicamente.
MCP Radar todavía no ha obtenido herramientas de este servidor.