GenPark Distributed Deadlock Wait-For-Graph Detector — MCP server