Notre Blog

Leanstral : l'agent IA de Mistral qui vérifie votre code automatiquement

Mistral lance Leanstral, un agent IA open source de vérification formelle de code basé sur le langage Lean. Une solution accessible et économique pour réduire la revue manuelle de code, particulièrement utile pour les équipes de développement des TPE/PME.

Lire la suite : Leanstral : l'agent IA de Mistral qui vérifie votre code automatiquement

Passkeys hybrides dans Symfony 7.4 : gérer la transition vers le sans-mot-de-passe

Découvrez comment construire un système d'authentification hybride dans Symfony 7.4, combinant passkeys WebAuthn et fallback par mot de passe pour gérer la transition en douceur.

Lire la suite : Passkeys hybrides dans Symfony 7.4 : gérer la transition vers le sans-mot-de-passe

Claude Code : des agents IA en parallèle pour auditer votre code avant chaque déploiement

Anthropic intègre des agents IA en parallèle dans Claude Code pour automatiser la revue de code avant chaque déploiement. Une opportunité concrète pour les équipes de développement PHP/Symfony souhaitant renforcer qualité et sécurité sans sacrifier leurs délais.

Lire la suite : Claude Code : des agents IA en parallèle pour auditer votre code avant chaque déploiement