michaelg/dev: links for azt-mcp-server