We use Tailwind to both design as well as develop. The dev's can inspect which Tailwind component is used and implement it according to specs of the design system. 

 Do they do this manually or use Figma to tailwind plug-in? 

 Manually, because we have some custom components/behaviors