sdd aidd spec kit github copilot cc-sdd harness model ai-dlc agent skills claude code codex kiro guard rail