Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp نشطة

Lean Theorem Prover MCP

أحدث إصدار مستقر0.30.0
تاريخ النشر2026-08-19 19:09:54 UTC
تتطلبpython >=3.10
الترخيصMIT
التنبيهات الأمنية لأحدث إصدارلا يوجد ما هو معروف
آخر تحقق2026-09-28 19:22:26 UTC
المصادرpypi.org

الصيانة

النشاطنشطة
آخر إصدار مستقر2026-08-19 19:09:54 UTC · قبل 40 يومًا
الإصدارات المستقرة خلال آخر 12 شهرًا55
الإصدارات المنشورة81

تقدير تقريبي يعتمد على تواريخ النشر فقط؛ ولا يقيس سرعة الاستجابة للمشكلات أو للثغرات الأمنية.

سجل الإصدارات

الإصدارتاريخ النشر
0.30.02026-08-19 19:09:54 UTC
0.29.02026-07-28 08:45:15 UTC
0.28.12026-07-17 18:09:01 UTC
0.28.02026-07-06 12:55:23 UTC
0.27.02026-06-09 15:31:17 UTC
0.26.22026-05-04 09:20:41 UTC
0.26.12026-04-10 14:52:14 UTC
0.26.02026-04-08 18:49:02 UTC
0.25.12026-03-17 13:55:14 UTC
0.25.02026-03-17 13:14:05 UTC
0.24.02026-03-11 14:23:15 UTC
0.23.22026-03-08 13:24:23 UTC
0.23.12026-03-04 15:04:08 UTC
0.23.02026-03-04 14:12:17 UTC
0.22.42026-03-03 18:31:59 UTC
0.22.32026-03-02 20:28:51 UTC
0.22.22026-02-25 17:55:10 UTC
0.22.12026-02-22 14:47:20 UTC
0.22.02026-02-18 15:38:38 UTC
0.21.22026-02-17 18:00:40 UTC

يُعرض أحدث 20 من أصل 81 إصدارًا. JSON

الأسئلة الشائعة

ما أحدث إصدار من lean-lsp-mcp؟

أحدث إصدار مستقر من lean-lsp-mcp هو 0.30.0، نُشر في 2026-08-19. تحقّق منه Vigia في 2026-09-28.

هل lean-lsp-mcp موقوفة؟

لا. لم تُصنَّف lean-lsp-mcp على أنها موقوفة في السجل.

ما إصدار Python الذي تتطلبه lean-lsp-mcp؟

يحدّد lean-lsp-mcp 0.30.0 هذا المتطلب: python >=3.10.

هل توجد ثغرات معروفة في lean-lsp-mcp 0.30.0؟

لا توجد تنبيهات أمنية معروفة تؤثر في lean-lsp-mcp 0.30.0 وفقًا للبيانات التي يتحقق منها Vigia.

هل ما زالت lean-lsp-mcp تحظى بالصيانة؟

نشرت lean-lsp-mcp ‏55 إصدارات مستقرة خلال آخر 12 شهرًا؛ وكان أحدثها قبل 40 يومًا. النشاط: نشطة.

التغييرات المرصودة

لم تُرصد أي تغييرات منذ بدأ Vigia متابعة هذه الحزمة.

حزم ذات صلة

للوكلاء

GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp/versions/{version}