PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp نشطة

Lean Theorem Prover MCP

أحدث إصدار مستقر من lean-lsp-mcp هو 0.33.0، نُشر في 2026-11-03. تحقّق منه Vigia في 2026-11-13.

الصيانة

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

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

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

توافق الإصدارات

أحدث إصدار مستقر يعلن دعمه لكل إصدار من بيئة التشغيل (وفق المتطلبات المنشورة مع كل إصدار).

زوّد وكيل الذكاء الاصطناعي بهذه البيانات

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

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

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

• ue Nov 03 2026 16:08:26 GMT+0000 (Coordinated Universal Time) — released 0.32.0 → 0.33.0
• Mon Oct 26 2026 19:51:50 GM +0000 (Coordinated Universal Time) — released 0.31.0 → 0.32.0
• Wed Sep 30 2026 19:41:14 GM +0000 (Coordinated Universal Time) — released 0.30.0 → 0.31.0

حزم ذات صلة

• reporters-db
• leanclient
• pyth3
• textual-serve
• pandas-flavor
• openinference-instrumentation-claude-agent-sdk
• vispy
• avro-gen
• hsluv
• onecache
• jsons
• pymatgen

شارات لملف README

اعرض أحدث إصدار وحالة الصيانة وما إذا كانت هذه الحزمة موقوفة. انسخ صيغة Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/version.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)
[![maintained](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/maintained.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)
[![status](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/status.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)

للوكلاء

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