MCPサーバー
Orca MCP Server
io.github.jascal/orca-mcp-server
このMCPでできること
Go from natural language to verified finite state machines — topology bugs caught before code runs.
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。