IDE integration for Coq

Is there any work to integrate this into some Coq IDE like company-coq?
if not, can you point out some top-level functions of copra's API that could be used in such an integration?
