Is TacTok compatible with PyCoq or Proverbot9001 Coq Env?

Can TacTok be modified to use PyCoq (either of the too)?

- PyCoq by Emilio: https://github.com/ejgallego/pycoq
- PyCoq by IBM: https://github.com/IBM/pycoq
- CoqSerAPI from https://github.com/HazardousPeach/coq_serapy or Proverbot9001 https://github.com/UCSD-PL/proverbot9001

would there need to be big modifications?