PyPI · pypi:leanclient

leanclient aktif

Interact with the Lean theorem prover language server

Versi stabil terbaru leanclient adalah 0.13.2, diterbitkan pada 2026-08-19. 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 42 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

Belum ada perubahan yang teramati sejak Vigia mulai memantau paket ini.

Paket terkait

• pandas-flavor
• lean-lsp-mcp
• pyth3
• reporters-db
• openinference-instrumentation-claude-agent-sdk
• textual-serve
• avro-gen
• jsons
• vispy
• stix2-patterns
• hsluv
• redo

Lencana untuk README Anda

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

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

Untuk agen

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