MCP servers
Orca MCP Server
Go from natural language to verified finite state machines — topology bugs caught before code runs.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
@orcalang/orca-mcp-server · npm 0.1.30 · stdio
claude mcp add --transport stdio orca-mcp-server -- npx -y @orcalang/orca-mcp-server@0.1.30Server details
- Registry name
- io.github.jascal/orca-mcp-server
- Version
- 0.1.30
- Registry status
- active
- Repository
- jascal/orca-lang
- First published
- Source
- Official MCP Registry
