mcp-logic

Ne yapar

mcp-logic, Claude AI ile Prover9 ve Mace4'ü birleştiren bir Model Context Protocol (MCP) sunucusudur. Kullanıcıların resmi mantık hesaplamaları yapmasına, mantıksal kanıtları doğrulamasına, mantıksal formüllerin tatmin edilebilirliğini kontrol etmesine ve modeller oluşturmasına olanak tanır. Bu araç, Claude'u karmaşık mantıksal ifadeleri ve matematiksel kanıtları işleyebilen yetenekli bir mantıksal akıl yürütme asistanına dönüştürür.

Kurulum nasıl yapılır

Kurulum, Python ve Prover9/Mace4 ikili dosyalarını gerektirir. GitHub'dan depoyu klonlayın, pip ile Python bağımlılıklarını yükleyin, MCP sunucu bağlantısını Claude veya MCP uyumlu istemcinizde yapılandırın ve Prover9/Mace4'ün sistem PATH'ınızda olduğundan emin olun. Windows, Linux üzerinde çalışır ve Claude App ile diğer MCP uyumlu platformlarla entegre olur.

Ana özellikler

• Prover9 kullanarak otomatik teorem kanıtlaması
• Mace4 ile model oluşturma ve sonlu model kontrolü
• Birinci dereceden mantık formülü doğrulama
• Kanıt oluşturma ve doğrulama
• Çapraz platform uyumluluğu (Windows, Linux)
• MCP protokolü aracılığıyla sorunsuz Claude App entegrasyonu