Mistral Large 4 deploys 133 agents to find and patch a Django vulnerability