The following video, while somewhat dated, is still valid to show you the different ways to get R3D into Media Composer:
https://community.avid.com/blogs/mediacomposer/archive/2010/12/02/mc-019-streamline-your-red-workflow.aspx
Any of the methods will get you an AAF or EDL that will work in DaVinci Resolve but my own preferred method is to use RedCine X Pro over AMA to make native MXF/DNxHD 36 for offline for the following reasons:
1. Full control over all color parameters
2. one checkbox to make SMPTE legal for video levels
3. Doesn’t tie up my MC when used in the background
4. Supports latest Red Color science immediately
And if double system audio, I prefer syncing in MC as it retains all the metadata from the BEXT chunk and AutoSync allows for quick sync to MIX track only if using MIX + ISO.
Many people have had success with direct AMA link for editing. It all depends on system performance and program expectations such as multicam, lots of layers and such.
Michael