michaelg/dev: links for daas-mcp-server