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

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.

sinadarbouy
Serveur Model Context Protocol pour l'intégration et la gestion transparentes des systèmes de messagerie NATS.

scanadi
Serveur de mémoire sémantique pour agents IA utilisant PostgreSQL pgvector — stockez, recherchez et gérez les connaissances entre les sessions.