Spec-kit can be a good guardrail for agentic prompting. We should experiment if it would add value to the migration agents.