آلة حاسبة منطقية تعتمد على الذكاء الاصطناعي تدمج محركات إثبات النظرية Prover9/Mace4 مع Claude عبر بروتوكول Model Context.
mcp-logic هو خادم بروتوكول Model Context (MCP) الذي يربط Claude AI مع Prover9 و Mace4، وهما محركان قويان للتفكير الآلي. يتيح للمستخدمين إجراء حسابات منطقية رسمية، والتحقق من الإثباتات المنطقية، وفحص قابلية الصواب للصيغ المنطقية، وتوليد النماذج. تحول الأداة Claude إلى مساعد قوي في التفكير المنطقي قادر على التعامل مع بيانات منطقية معقدة وإثباتات رياضية.
تتطلب عملية التثبيت Python وملفات Prover9/Mace4 التنفيذية. قم باستنساخ المستودع من GitHub، وثبت تبعيات Python عبر pip، وقم بتكوين اتصال خادم MCP في عميل Claude أو العميل المتوافق مع MCP، وتأكد من أن Prover9/Mace4 في مسار النظام لديك. يعمل على Windows وLinux، ويتكامل مع تطبيق Claude ومنصات أخرى متوافقة مع MCP.
Thesis Structure Helper assists students and researchers in organizing their academic theses by providing…
بواسطة FormAI
Dependency Auditor helps developers audit project dependencies for security vulnerabilities, licensing is…
بواسطة EnergyAI
FAQ Generator Pro auto-generates FAQ pages from support tickets, documentation, and product information.…
بواسطة EmailForge