Découvrez les meilleurs outils IA

Un coffre-fort des secrets pour Claude Code avec des journaux de audit, des règles d'accès MCP et du chiffrement AES-256.

Un serveur pour vérifier l'état opérationnel en temps réel de plus de 114 services et API cloud.

Un serveur pour générer et gérer des outils de la chaîne de blocs Solana.

Un serveur pour contrôler des appareils Android via ADB avec des fonctionnalités comme les captures d'écran, l'inspection de l'interface utilisateur et l'automatisation de l'appui.

Serveur MCP pour Dash, le navigateur de documentation API macOS, offrant une recherche instantanée sur plus de 200+ ensembles de documentation.

Génère automatiquement des enregistrements de décision sur l'architecture (ADRs) à partir des conversations Code Claude en utilisant Claude Opus.

Intégration Codebeamer ALM pour la gestion des éléments de travail, des suivi et des projets.

webdriverio/mcp est un projet open-source qui permet aux agents IA de contrôler les navigateurs et d'automatiser les applications mobiles en utilisant les protocoles WebdriverIO et Appium.

Un outil pour trouver des offres d'infrastructure pour les développeurs, des niveaux gratuits et des programmes pour les startups dans diverses catégories.

Un outil pour générer du code à l'aide de l'intelligence artificielle.

L'utilisateur GitHub @sraphaz est impliqué dans la génération de code par IA.

AG2 est un framework de programmation open-source pour construire des agents IA et faciliter la coopération entre plusieurs agents afin de résoudre des tâches.

Goedel-Prover-V2 est un theorem prover automatique open-source en Lean 4 avec des modèles allant de 8B à 32B, démontrant une forte performance dans les tâches de vérification formelle.

Une bibliothèque de plus de 734 compétences structurées en cybersécurité pour les agents IA, cartographiée vers MITRE ATT&CK et compatible avec diverses plateformes IA.

Plateforme de modélisation des menaces agente qui génère de manière autonome des arbres d'attaque, mappe les étapes vers les techniques MITRE ATT&CK et fournit des recommandations de mitigation.

Un outil qui construit un graphe d'outils à partir des spécifications OpenAPI/MCP pour récupérer des flux de travail multi-étapes, améliorant la précision et réduisant l'utilisation de tokens.

Un outil pour signer les appels HTTP avec des signatures Ed25519 et des timestamps.

Serveur MCP pour la simulation d'éléments discrets ITASCA PFC qui permet aux utilisateurs de parcourir la documentation, d'exécuter des scripts, de capturer des graphiques et de gérer des tâches longues.

Un outil alimenté par l'IA pour contrôler les applications de globe 3D utilisant MCP (Multi-Cloud Platform).

Mémoire de projet pour les séances de codage IA qui capture automatiquement les points de contrôle et fournit des résumés pour le rétablissement.

Serveur MCP fournissant un accès sur demande aux agents de codage IA aux documents de projet privés via une recherche classée BM25.

Serveur MCP pour Godot 4.x avec contrôle en temps réel via un pont UDP injecté

Un compagnon de développement pour Godot 4 avec l'exécution de tests, la documentation API, l'analyse de scripts et plus.

Serveur MCP pour le trading de futures USDT-M Binance qui expose des outils pour les données de marché, l'état du compte, la gestion des commandes et le contrôle des positions/marge.