pypi · pypi:lean-lsp-mcp
lean-lsp-mcp सक्रिय
Lean Theorem Prover MCP
| नवीनतम स्थिर संस्करण | 0.30.0 |
|---|---|
| प्रकाशित | 2026-08-19 19:09:54 UTC |
| आवश्यकता | python >=3.10 |
| लाइसेंस | MIT |
| नवीनतम संस्करण पर सुरक्षा सूचनाएँ | कोई ज्ञात नहीं |
| अंतिम सत्यापन | 2026-09-28 14:57:40 UTC |
| स्रोत | pypi.org |
देखे गए बदलाव
Vigia द्वारा इस पैकेज को ट्रैक करना शुरू करने के बाद से अभी तक कोई बदलाव नहीं देखा गया।
एजेंटों के लिए
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp