mcp-logic

O que faz

mcp-logic é um servidor do Model Context Protocol (MCP) que conecta Claude AI com Prover9 e Mace4, potentes motores de raciocínio automatizado. Permite que os usuários realizem cálculos lógicos formais, verifiquem provas lógicas, verifiquem a satisfatibilidade de fórmulas lógicas e gerem modelos. A ferramenta transforma Claude em um assistente de raciocínio lógico capaz de lidar com declarações lógicas complexas e provas matemáticas.

Como configurar

A instalação requer Python e os binários do Prover9/Mace4. Clone o repositório do GitHub, instale as dependências do Python via pip, configure a conexão do servidor MCP em seu cliente Claude ou compatível com MCP, e certifique-se de que Prover9/Mace4 estejam no seu PATH do sistema. Funciona no Windows, Linux e se integra com o aplicativo Claude e outras plataformas compatíveis com MCP.

Principais características

• Prova de teoremas automatizada com Prover9
• Geração de modelos e verificação de modelos finitos com Mace4
• Validação de fórmulas de lógica de primeira ordem
• Construção e verificação de provas
• Compatibilidade multiplataforma (Windows, Linux)
• Integração perfeita do aplicativo Claude via protocolo MCP