Complexité Temporelle MCP : L'Outil d'Analyse Statique Transmet la Complexité en Notation Grand O aux Agents d'IA de Codage

Time Complexity MCP est un serveur MCP qui effectue une analyse statique du code pour déterminer la complexité temporelle Big-O, puis transmet directement ces valeurs aux agents d'IA de codage. L'outil contourne la consommation de tokens et les potentielles inexactitudes qui surviennent lorsque les modèles de pointe tentent d'analyser eux-mêmes la complexité.

Fonctionnement

Le serveur analyse le code en Arbres de Syntaxe Abstraite (AST) à l'aide de tree-sitter, puis les examine pour détecter :

• Les motifs d'imbrication de boucles
• Les motifs de récursivité
• Les coûts connus des bibliothèques standard

Il rapporte la complexité Big-O par fonction avec des annotations de ligne que les agents d'IA peuvent accéder comme outil.

Ce qu'il détecte

L'outil identifie des motifs de complexité spécifiques :

• .contains() à l'intérieur d'une boucle for → O(n²)
• .sort() avec .indexOf() dans le comparateur → O(n² log n)
• Récursivité ramifiée comme fibonacci → O(2ⁿ)
• Boucles à limite constante comme for i in range(10) → O(1)

Langages pris en charge

L'outil prend actuellement en charge JavaScript, TypeScript, Python, Java, Kotlin et Dart.

Application réelle

Le développeur a exécuté l'outil sur sa propre base de code et a trouvé :

• O(n³) dans le scanner de répertoire
• O(n²) dans les utilitaires de formatage

Ces problèmes ont été corrigés sur la base du rapport de l'outil lui-même, démontrant une amélioration pratique autonome.

Disponibilité

Time Complexity MCP est open source avec des versions précompilées disponibles sur https://github.com/Luzgan/time-complexity-mcp.