PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp etkin

Lean Theorem Prover MCP

lean-lsp-mcp paketinin en son kararlı sürümü 0.33.0; yayımlanma tarihi 2026-11-03. Vigia tarafından 2026-11-14 tarihinde doğrulandı.

Bakım

Yalnızca yayımlanma tarihlerine dayanan bir sezgisel ölçüm; issue’lara veya güvenlik sorunlarına yanıt sürelerini ölçmez.

Sürüm geçmişi

84 sürümün en yeni 20 tanesi gösteriliyor. JSON

Sürüm uyumluluğu

Her çalışma ortamı sürümünü desteklediğini belirten en yeni kararlı sürüm (her sürümle yayımlanan gereksinimlere göre).

Bu verileri yapay zekâ ajanınıza verin

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

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Sık sorulan sorular

Gözlenen değişiklikler

• ue Nov 03 2026 16:08:26 GMT+0000 (Coordinated Universal Time) — released 0.32.0 → 0.33.0
• Mon Oct 26 2026 19:51:50 GM +0000 (Coordinated Universal Time) — released 0.31.0 → 0.32.0
• Wed Sep 30 2026 19:41:14 GM +0000 (Coordinated Universal Time) — released 0.30.0 → 0.31.0

İlgili paketler

• leanclient
• reporters-db
• pyth3
• pandas-flavor
• textual-serve
• vispy
• openinference-instrumentation-claude-agent-sdk
• hsluv
• avro-gen
• onecache
• jsons
• pymatgen

README için rozetler

Bu paketin en son sürümünü, bakım durumunu ve kullanımdan kaldırılıp kaldırılmadığını gösterin. Markdown’ı kopyalayın:

[![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)

Ajanlar için

GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp/versions/{version}