Mouse: Präzisions-Bearbeitungswerkzeuge für AI Coding Agents