michaelg/dev: links for aiva-mcp-server