Calculadora lógica de IA completamente funcional que utiliza Prover9/Mace4 a través del protocolo de contexto de modelo basado en Python (MCP-Server): herramienta para la aplicación Windows Claude, etc.
Instalación
git clone https://github.com/angrysky56/mcp-logicCasos de uso típicos
- Consultas SQL desde Claude sin abrir un cliente
- Análisis exploratorio de datos en lenguaje natural
- Auditoría de esquemas y permisos
- Generación de queries optimizadas
Ficha técnica
- Categoría: Bases de datos
- Autor: angrysky56
- Transporte: stdio
- Requiere API key: No
- Clientes compatibles: Claude Desktop, Cursor, Cline, Continue
- Repositorio: https://github.com/angrysky56/mcp-logic
Ficha generada automáticamente desde mcpso el 2026-05-19. La descripción puede contener traducción automática; verifica con el repositorio oficial antes de instalar.