MCP-Logic
Serveur MCP pour le raisonnement logique automatisé avec Prover9/Mace4. MCP-Logic is a Model Context Protocol (MCP) server maintained by angrysky56. It connects to MCP-compatible clients such as Claude Desktop, Cursor, Cline, and other agents that speak the protocol. It exposes 2 tools, including prove and check-well-formed, that an agent can call directly. It is categorized under AI/Reasoning and Tool/TheoremProver.
Qu'est-ce que ce MCP
MCP-Logic est un serveur Model Context Protocol qui fournit des capacités de raisonnement automatisé en utilisant Prover9/Mace4. Il permet aux systèmes d'IA d'effectuer des preuves de théorèmes formels et des vérifications de modèles logiques via une interface standardisée.
Comment utiliser ce MCP
Intégrez le serveur dans votre environnement MCP en le configurant avec le chemin vers les binaires Prover9/Mace4. Utilisez les outils fournis commeprove et check-well-formed via des requêtes JSON pour effectuer des opérations logiques et des validations de syntaxe.
À quoi ce MCP peut servir
Ce MCP est particulièrement utile pour valider des modèles de connaissances en IA, vérifier les implications logiques dans les chaînes de raisonnement et assurer la correction formelle des représentations des systèmes d'IA. Il fait le lien entre les systèmes d'IA et les capacités de logique formelle.
AIMCP authority
DR and traffic signal for the AIMCP public domain.
Frequently asked questions
What is the MCP-Logic MCP server?
MCP-Logic is a Model Context Protocol server from angrysky56. It lets MCP-compatible AI clients call its tools over a standard interface, so agents like Claude, Cursor, and Cline can use it without custom integration.
How do I connect MCP-Logic to my AI client?
Add MCP-Logic to your client's MCP configuration using the stdio or SSE connection shown in the usage examples on this page, then restart the client to load the server.
What tools does MCP-Logic provide?
MCP-Logic provides 2 tools: prove and check-well-formed.
Is MCP-Logic free to use?
MCP-Logic is listed on AIMCP for free. Any API keys or accounts required by the underlying service are set by its provider.
Vernclaw Plugins for OpenClaw
Ready-to-use connectors for SEO data, social reading & content generation. Pay-as-you-go credits with audit logs.