PyPI · pypi:leanclient
leanclient सक्रिय
Interact with the Lean theorem prover language server
| नवीनतम स्थिर संस्करण | 0.13.2 |
|---|---|
| प्रकाशित | 2026-08-19 18:46:45 UTC |
| आवश्यकता | python >=3.10 |
| लाइसेंस | MIT |
| नवीनतम संस्करण पर सुरक्षा सूचनाएँ | कोई ज्ञात नहीं |
| अंतिम सत्यापन | 2026-09-28 19:22:26 UTC |
| स्रोत | pypi.org |
रखरखाव
| गतिविधि | सक्रिय |
|---|---|
| अंतिम स्थिर संस्करण | 2026-08-19 18:46:45 UTC · 40 दिन पहले |
| पिछले 12 महीनों में स्थिर संस्करण | 29 |
| प्रकाशित संस्करण | 52 |
केवल प्रकाशन तिथियों पर आधारित अनुमान; यह issues या सुरक्षा समस्याओं पर प्रतिक्रिया का समय नहीं मापता।
संस्करण इतिहास
| संस्करण | प्रकाशित |
|---|---|
0.13.2 | 2026-08-19 18:46:45 UTC |
0.13.1 | 2026-08-19 13:07:20 UTC |
0.13.0 | 2026-07-28 08:23:48 UTC |
0.12.1 | 2026-07-17 09:43:42 UTC |
0.12.0 | 2026-07-06 12:32:56 UTC |
0.11.0 | 2026-06-09 14:52:15 UTC |
0.10.0 | 2026-05-04 08:23:20 UTC |
0.9.4 | 2026-03-17 09:49:22 UTC |
0.9.3 | 2026-03-08 13:15:38 UTC |
0.9.2 | 2026-01-12 18:19:34 UTC |
0.9.1 | 2026-01-12 07:13:55 UTC |
0.9.0 | 2026-01-09 11:15:28 UTC |
0.8.0 | 2025-12-19 14:42:28 UTC |
0.7.0 | 2025-12-17 23:03:07 UTC |
0.6.2 | 2025-12-16 13:24:43 UTC |
0.6.1 | 2025-12-03 07:50:08 UTC |
0.6.0 | 2025-12-03 07:47:37 UTC |
0.5.5 | 2025-11-20 02:27:58 UTC |
0.5.4 | 2025-11-19 11:11:16 UTC |
0.5.3 | 2025-11-16 09:37:33 UTC |
42 संस्करणों में से सबसे नए 20 दिखाए जा रहे हैं। JSON
अक्सर पूछे जाने वाले प्रश्न
leanclient का नवीनतम संस्करण कौन-सा है?
leanclient का नवीनतम स्थिर संस्करण 0.13.2 है, जो 2026-08-19 को प्रकाशित हुआ। Vigia द्वारा 2026-09-28 को सत्यापित।
क्या leanclient डिप्रिकेटेड है?
नहीं। रजिस्ट्री में leanclient को डिप्रिकेटेड चिह्नित नहीं किया गया है।
leanclient को Python का कौन-सा संस्करण चाहिए?
leanclient 0.13.2 यह आवश्यकता घोषित करता है: python >=3.10।
क्या leanclient 0.13.2 में ज्ञात कमज़ोरियाँ हैं?
Vigia जिन आँकड़ों की जाँच करता है, उनके अनुसार leanclient 0.13.2 को कोई ज्ञात सुरक्षा सूचना प्रभावित नहीं करती।
क्या leanclient का अब भी रखरखाव हो रहा है?
leanclient ने पिछले 12 महीनों में 29 स्थिर संस्करण प्रकाशित किए; सबसे नया 40 दिन पहले। गतिविधि: सक्रिय।
देखे गए बदलाव
Vigia द्वारा इस पैकेज को ट्रैक करना शुरू करने के बाद से अभी तक कोई बदलाव नहीं देखा गया।
संबंधित पैकेज
- lean-lsp-mcp
- langgraph-runtime-inmem
- djangorestframework-dataclasses
- browser-cookie3
- nvidia-cutlass-dsl-libs-cu13
- result
- pydantic-ai-harness
- gtts
- flufl-lock
- doclang
- jproperties
- mteb
एजेंटों के लिए
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient/versions/{version}