mcp-logic

Ce qu'il fait

mcp-logic est un serveur Model Context Protocol (MCP) qui relie Claude AI à Prover9 et Mace4, des moteurs de raisonnement automatisés puissants. Il permet aux utilisateurs d'effectuer des calculs logiques formels, de vérifier des preuves logiques, de contrôler la satisfaisabilité des formules logiques et de générer des modèles. Cet outil transforme Claude en un assistant de raisonnement logique capable de traiter des déclarations logiques complexes et des preuves mathématiques.

Comment configurer

L'installation nécessite Python et les binaires Prover9/Mace4. Clonez le dépôt depuis GitHub, installez les dépendances Python via pip, configurez la connexion du serveur MCP dans votre client Claude ou compatible MCP, et assurez-vous que Prover9/Mace4 sont dans votre PATH système. Fonctionne sur Windows, Linux et s'intègre à l'application Claude et d'autres plateformes compatibles MCP.

Caractéristiques clés

• Preuve de théorème automatisée avec Prover9
• Génération de modèles et vérification de modèles finis avec Mace4
• Validation des formules de logique du premier ordre
• Construction et vérification de preuves
• Compatibilité multiplateforme (Windows, Linux)
• Intégration transparente de l'application Claude via le protocole MCP