What we learned using AI agents to refactor a monolith