Serveur MCP
Orca MCP Server
io.github.jascal/orca-mcp-server
Ce que fait ce MCP
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.