Vigia

PyPI · pypi:cvc5

cvc5 सक्रिय

Python bindings for cvc5 (BSD version)

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

नवीनतम स्थिर संस्करण1.4.2
प्रकाशित2026-10-08 01:39:40 UTC
इंस्टॉलpip install --upgrade cvc5
आवश्यकताकोई घोषित नहीं
लाइसेंस—
नवीनतम संस्करण पर सुरक्षा सूचनाएँकोई ज्ञात नहीं
अंतिम सत्यापन2026-11-13 21:38:09 UTC
स्रोतpypi.org

रखरखाव

गतिविधिसक्रिय
अंतिम स्थिर संस्करण2026-10-08 01:39:40 UTC · 36 दिन पहले
पिछले 12 महीनों में स्थिर संस्करण6
प्रकाशित संस्करण22

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

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

संस्करणप्रकाशित
1.4.22026-10-08 01:39:40 UTC
1.4.12026-09-25 20:46:09 UTC
1.4.02026-09-17 21:29:51 UTC
1.3.42026-05-07 15:49:55 UTC
1.3.32026-02-25 21:02:53 UTC
1.3.22025-12-12 19:18:27 UTC
1.3.12025-09-24 20:56:01 UTC
1.3.02025-06-19 01:00:13 UTC
1.2.12025-01-27 23:26:28 UTC
1.2.02024-08-08 16:50:58 UTC
1.1.22024-03-01 17:43:42 UTC
1.1.12024-01-25 16:21:37 UTC
1.1.02023-12-21 01:29:50 UTC
1.0.92023-12-19 15:37:39 UTC
1.0.82023-08-31 19:18:58 UTC
1.0.72023-08-22 17:12:56 UTC
1.0.52023-03-13 16:36:17 UTC
1.0.12022-07-19 16:19:56 UTC
1.0.02022-04-06 01:14:15 UTC
0.0.122022-04-04 21:47:59 UTC

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

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

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

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

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

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

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

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

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

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

cvc5 1.4.2 Python संस्करण की कोई आवश्यकता घोषित नहीं करता।

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

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

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

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

देखे गए बदलाव

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

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

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

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

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

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

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