wird geladen
MAGS: Multi-Agenten-Framework für formale Sicherheitsgarantien bei KI-Code · Lumeric