Vigia

PyPI · pypi:leanclient

leanclient सक्रिय

Interact with the Lean theorem prover language server

leanclient का नवीनतम स्थिर संस्करण 0.13.2 है, जो 2026-08-19 को प्रकाशित हुआ। Vigia द्वारा 2026-11-13 को सत्यापित।

नवीनतम स्थिर संस्करण0.13.2
प्रकाशित2026-08-19 18:46:45 UTC
इंस्टॉलpip install --upgrade leanclient
आवश्यकताpython >=3.10
लाइसेंसMIT
नवीनतम संस्करण पर सुरक्षा सूचनाएँकोई ज्ञात नहीं
अंतिम सत्यापन2026-11-13 11:35:23 UTC
स्रोतpypi.org

रखरखाव

गतिविधिसक्रिय
अंतिम स्थिर संस्करण2026-08-19 18:46:45 UTC · 85 दिन पहले
पिछले 12 महीनों में स्थिर संस्करण20
प्रकाशित संस्करण52

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

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

संस्करणप्रकाशित
0.13.22026-08-19 18:46:45 UTC
0.13.12026-08-19 13:07:20 UTC
0.13.02026-07-28 08:23:48 UTC
0.12.12026-07-17 09:43:42 UTC
0.12.02026-07-06 12:32:56 UTC
0.11.02026-06-09 14:52:15 UTC
0.10.02026-05-04 08:23:20 UTC
0.9.42026-03-17 09:49:22 UTC
0.9.32026-03-08 13:15:38 UTC
0.9.22026-01-12 18:19:34 UTC
0.9.12026-01-12 07:13:55 UTC
0.9.02026-01-09 11:15:28 UTC
0.8.02025-12-19 14:42:28 UTC
0.7.02025-12-17 23:03:07 UTC
0.6.22025-12-16 13:24:43 UTC
0.6.12025-12-03 07:50:08 UTC
0.6.02025-12-03 07:47:37 UTC
0.5.52025-11-20 02:27:58 UTC
0.5.42025-11-19 11:11:16 UTC
0.5.32025-11-16 09:37:33 UTC

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

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

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

रनटाइमसबसे नया संगत संस्करण
python 3.8कोई नहीं
python 3.9कोई नहीं
python 3.100.13.2
python 3.110.13.2
python 3.120.13.2
python 3.130.13.2

अपने 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

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

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

leanclient का नवीनतम स्थिर संस्करण 0.13.2 है, जो 2026-08-19 को प्रकाशित हुआ। Vigia द्वारा 2026-11-13 को सत्यापित।

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

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

क्या leanclient डिप्रिकेटेड है?

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

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

leanclient 0.13.2 यह आवश्यकता घोषित करता है: python >=3.10।

क्या leanclient 0.13.2 में ज्ञात कमज़ोरियाँ हैं?

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

क्या leanclient का अब भी रखरखाव हो रहा है?

leanclient ने पिछले 12 महीनों में 20 स्थिर संस्करण प्रकाशित किए; सबसे नया 85 दिन पहले। गतिविधि: सक्रिय।

देखे गए बदलाव

Vigia द्वारा इस पैकेज को ट्रैक करना शुरू करने के बाद से अभी तक कोई बदलाव नहीं देखा गया।

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

आपके README के लिए बैज

इस पैकेज का नवीनतम संस्करण, रखरखाव की स्थिति और डिप्रिकेशन स्थिति दिखाएँ। Markdown कॉपी करें:

[![version](https://vigia.coredls.cloud/badge/pypi/leanclient/version.svg)](https://vigia.coredls.cloud/pypi/leanclient)
[![maintained](https://vigia.coredls.cloud/badge/pypi/leanclient/maintained.svg)](https://vigia.coredls.cloud/pypi/leanclient)
[![status](https://vigia.coredls.cloud/badge/pypi/leanclient/status.svg)](https://vigia.coredls.cloud/pypi/leanclient)

एजेंटों के लिए

GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient/versions/{version}