michaelg/dev: links for workday-mcpserver-py