PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp aktif

Lean Theorem Prover MCP

Versi stabil terbaru lean-lsp-mcp adalah 0.33.0, diterbitkan pada 2026-11-03. Diverifikasi oleh Vigia pada 2026-11-13.

Pemeliharaan

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Riwayat versi

Menampilkan 20 versi terbaru dari 84 versi. JSON

Kompatibilitas versi

Versi stabil terbaru yang menyatakan mendukung setiap versi runtime (berdasarkan persyaratan yang diterbitkan bersama setiap versi).

Berikan fakta ini ke agen AI Anda

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

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

Pertanyaan umum

Perubahan yang teramati

• 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

Paket terkait

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

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin Markdown:

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

Untuk agen

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