Programmation IA

IA de l'herbe à chat

Plateforme intelligente de programmation et d'efficacité du développement basée sur l'IA

Fabius IA Fabius

Plateforme de révision et d'assistance du code IA pour les équipes de développement

Langfuse Langfuse

Une plateforme d'ingénierie d'IA open source qui intègre le suivi, l'évaluation, la gestion des mots d'invite et les processus expérimentaux dans le même établi

LangMagie LangMagic

Outil de conversion de code IA

Ligne d'état Cc Ccstatusline

Outils auxiliaires d'IA pour la surveillance de l'état du système et l'avertissement d'exception, aidant l'équipe d'exploitation et de maintenance à comprendre l'état de fonctionnement du service en temps réel et à localiser la cause première du problème.

Forger le code Forge

Outil de programmation par paires d'IA multimodèle pour aider les développeurs à planifier, modifier et vérifier le code dans le terminal.

Codacy Codacy

Une plate-forme mature d’examen automatique de la qualité du code qui a intégré ces dernières années des suggestions de détection de défauts et de réparation améliorées par l’IA.

F* F*

Langage de programmation orienté preuve, type de dépendance + vérification automatisée SMT, extraction de code vers OCaml/C/Rust, introduction de l'assistant de preuve IA en 2026

Lunaire Lunary

Plateforme de gestion, d'évaluation et de journalisation des invites observables pour les applications LLM de niveau production.

A2UI A2UI

Le protocole agent-to-UI initié par Google permet aux agents de générer en toute sécurité des interfaces natives rendues.

AgentOps AgentOps

Plateforme d'observation, de lecture, de suivi des coûts et de débogage pour AI Agent

CodeBuddyEDI CodeBuddy

L'IDE d'IA de développement full-stack lancé par Tencent intègre tout, des exigences à la conception, au codage et au déploiement.