Vigia

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 को सत्यापित।

नवीनतम स्थिर संस्करण0.33.0
प्रकाशित2026-11-03 16:06:41 UTC
इंस्टॉलpip install --upgrade lean-lsp-mcp
आवश्यकताpython >=3.10
लाइसेंसMIT
नवीनतम संस्करण पर सुरक्षा सूचनाएँकोई ज्ञात नहीं
अंतिम सत्यापन2026-11-13 16:16:20 UTC
स्रोतpypi.org

रखरखाव

गतिविधिसक्रिय
अंतिम स्थिर संस्करण2026-11-03 16:06:41 UTC · 10 दिन पहले
पिछले 12 महीनों में स्थिर संस्करण41
प्रकाशित संस्करण84

केवल प्रकाशन तिथियों पर आधारित अनुमान; यह issues या सुरक्षा समस्याओं पर प्रतिक्रिया का समय नहीं मापता।

संस्करण इतिहास

संस्करणप्रकाशित
0.33.02026-11-03 16:06:41 UTC
0.32.02026-10-26 19:50:40 UTC
0.31.02026-09-30 19:38:44 UTC
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

84 संस्करणों में से सबसे नए 20 दिखाए जा रहे हैं। JSON

संस्करण संगतता

हर रनटाइम संस्करण के समर्थन की घोषणा करने वाला सबसे नया स्थिर संस्करण (हर संस्करण के साथ प्रकाशित आवश्यकताओं के अनुसार)।

रनटाइमसबसे नया संगत संस्करण
python 3.8कोई नहीं
python 3.9कोई नहीं
python 3.100.33.0
python 3.110.33.0
python 3.120.33.0
python 3.130.33.0

अपने AI एजेंट को ये तथ्य दें

Vigia एक मुफ़्त MCP सर्वर है: आपका कोडिंग एजेंट कोड लिखने से पहले वर्ज़न, ब्रेकिंग बदलाव और कमज़ोरियाँ जाँचता है। न साइनअप, न API कुंजी।

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

Cursor में जोड़ेंVS Code में जोड़ें★ GitHub पर स्टार दें

कोई भी दूसरा MCP क्लाइंट
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

एजेंट स्किल (SKILL.md): एजेंट को बताती है कि Vigia कब इस्तेमाल करना है · पुल रिक्वेस्ट के लिए GitHub Action

अक्सर पूछे जाने वाले प्रश्न

lean-lsp-mcp का नवीनतम संस्करण कौन-सा है?

lean-lsp-mcp का नवीनतम स्थिर संस्करण 0.33.0 है, जो 2026-11-03 को प्रकाशित हुआ। Vigia द्वारा 2026-11-13 को सत्यापित।

lean-lsp-mcp का नवीनतम वर्ज़न कैसे इंस्टॉल करूँ?

pip install --upgrade lean-lsp-mcp चलाएँ। नवीनतम स्थिर वर्ज़न 0.33.0 है (2026-11-13 को सत्यापित)।

क्या lean-lsp-mcp डिप्रिकेटेड है?

नहीं। रजिस्ट्री में lean-lsp-mcp को डिप्रिकेटेड चिह्नित नहीं किया गया है।

lean-lsp-mcp को Python का कौन-सा संस्करण चाहिए?

lean-lsp-mcp 0.33.0 यह आवश्यकता घोषित करता है: python >=3.10।

क्या lean-lsp-mcp 0.33.0 में ज्ञात कमज़ोरियाँ हैं?

Vigia जिन आँकड़ों की जाँच करता है, उनके अनुसार lean-lsp-mcp 0.33.0 को कोई ज्ञात सुरक्षा सूचना प्रभावित नहीं करती।

क्या lean-lsp-mcp का अब भी रखरखाव हो रहा है?

lean-lsp-mcp ने पिछले 12 महीनों में 41 स्थिर संस्करण प्रकाशित किए; सबसे नया 10 दिन पहले। गतिविधि: सक्रिय।

देखे गए बदलाव

संबंधित पैकेज

आपके 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}