Parcourez et installez des MCP Apps et Serveurs — tableaux de bord interactifs, outils et intégrations qui fonctionnent dans ChatGPT, Claude et autres assistants IA.
Catégories

towry
Aide à l'autonomie basée sur Rust pour l'optimisation du contexte LLM, le suivi de cas structurés et les métadonnées de chemin VCS.

gitgabado
Modèle de serveur MCP distant pour Cloudflare Workers, permettant le transport SSE sans authentification pour les outils d'IA.

kripner
Un prouveur de théorèmes automatisé propulsé par les LLM, doté d'une architecture planificateur-travailleur et d'une vérification formelle via Lean 4.

achmadya-dev
Un wrapper SDK partagé complet pour construire des serveurs MCP avec transport intégré, enregistrement d'outils et validation de schéma.