MCCoder: Streamlining Motion Control with LLM-Assisted Code Generation and Rigorous Verification