michaelg/dev: links for gemini-mcp-server