orca-mcp-server
MCP serverDev toolsGo from natural language to verified finite state machines — topology bugs caught before code runs.
This server has no hosted endpoint yet, so ahel can't serve it. You can still add it. It stays paused until ahel can serve it.
Serve it through your gateway
One link, every agent. Your own credentials, stored once.
Signals
- GitHub stars
- 14
- Forks
- 2
- Last commit
- Jun 2026