I'm about to try Matt Pocock's skills for more rigorous agentic engineering now that my code base is climbing towards 100kloc, but can't yet testify to their effectiveness. People I trust swear by them: https://github.com/mattpocock/skills