Find R3 in directories

R3’s MCP server is listed in these directories: