Install
claude mcp add mathlas -- uvx mathlas-mcpلمن يناسب
تعمل الرياضيات في Claude Code أو Cursor وتريد أن يخترع النموذج مبرهنات وثوابت ومتتاليات أقل، دون طلب API key آخر. mathlas نفسه لا يشغّل نموذجاً كبيراً ولا يطلب key وهو مجاني. يقدّم مرشحين وأحكاماً وجروداً وسقالات؛ والاستدلال يبقى لدى ذكائك الاصطناعي.
يناسب مهمتين محددتين: استعادة مبرهنات حقيقية بـ search_existing_math من فهرس يقارب 3.68 مليون ورقة؛ أو التعرف على ثابت مجهول بـ identify_constant (PSLQ مع مطابقة صيغة مغلقة، دقة 50 خانة) وعلى متتالية صحيحة بـ identify_sequence (مطابقة دقيقة لبنود OEIS).
المستودع الرسمي في سطر وحده:
https://github.com/Archerkattri/mathlas
أول محاولة في 3 دقائق
اتبع سطر الربط الرسمي هذا فقط. يلزم uv أولاً. وثائق uv في سطر وحده:
https://docs.astral.sh/uv/
ثم نفّذ:
claude mcp add mathlas -- uvx mathlas-mcp
المتطلب: uv مثبّت. لا حاجة إلى API key. النص الرسمي يقول nothing to install first، لكنه ما زال يعتمد على uv.
موضع الإعداد: يستخدم Claude Code سطر add أعلاه؛ ويوجّه Cursor أو عميل MCP آخر stdio إلى نفس uvx mathlas-mcp. لا تفتح أيضاً python -m mathlas.server كمسار رئيس. تفضّل الخدمة mcp SDK الرسمي وإن غاب تتراجع إلى stdio JSON-RPC بلا اعتماديات؛ رسمياً تعمل دائماً.
الخطوة الأولى منخفضة المخاطر: استدعِ search_existing_math وابحث عن مبرهنة موجودة في فهرس وثائق 3.68M. هذا استرجاع: يعيد بيانات ليستدل بها النموذج ولا يغيّر مستودعك. إشارة النجاح مرشحون أو نتائج بحث لا برهان جديد. الأدوات اثنا عشر؛ هذه الصفحة تسمّي بعضها فقط — لا تخترع بقية الأسماء.
لا تفهم «بلا LLM وبلا API key» على أنه بلا شبكة أو بلا قراءة محلية. يشغّل uvx عملية محلية وقد تقرأ البحث والتحقق بيانات محلية اختيارية. حتى إن ظهر readOnlyHint فهذا ليس صفراً من المخاطر.
حالات الاستخدام
الحالة الأولى: راجع أولاً مبرهنة قد تكون هلوسة. استدعِ search_existing_math وابحث عن مبرهنة حقيقية في فهرس 3.68M. يذكر النص الرسمي أيضاً verify_numeric وverify_formal لفحص الادعاءات ويتحدث عن صفر مخاطر هلوسة؛ يحتاج verify_formal سلسلة Lean ويعيد بوضوح data/toolchain not available إن نقصت بدل اختلاق جواب. هذه الصفحة بلا جدول معاملات لتلك الأدوات.
الحالة الثانية: تعرّف على ثابت أو متتالية صحيحة. استدعِ identify_constant بـ PSLQ ومطابقة صيغة مغلقة، والدقة مكتوبة 50 خانة. أو استدعِ identify_sequence لمطابقة دقيقة لبنود OEIS. يحتاج identify_sequence نسخة OEIS محلية؛ وإن نقصت يتراجع بصدق ويعيد غير متاح لا إصابة مزيفة. النص الرسمي لا يعطي مثال تنسيق إدخال.
حدود الاستخدام
لا يلزم API key لكن يلزم uv. من الاثني عشر تسمّي هذه الصفحة فقط search_existing_math وverify_numeric وverify_formal وidentify_constant وidentify_sequence. إن نقص Lean أو OEIS محلي تقول الأدوات غير متاح ولا تخترع. يعيد mathlas بيانات فقط ويكمل النموذج البرهان. بلا بيانات محلية اختيارية تنكمش الوظائف. النص الرسمي لا يصف وتيرة تحديث الفهرس ولا استهلاك الموارد ولا التراجع. لا تفهم «صفر مخاطر هلوسة» على أن أدوات التحقق لا تلمس هذا الجهاز أبداً.