PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp đang hoạt động

Lean Theorem Prover MCP

Phiên bản ổn định mới nhất	0.30.0
Ngày phát hành	2026-08-19 19:09:54 UTC
Yêu cầu	`python >=3.10`
Giấy phép	MIT
Cảnh báo bảo mật của phiên bản mới nhất	chưa có
Xác minh lần cuối	2026-09-28 19:22:26 UTC
Nguồn	pypi.org

Bảo trì

Mức hoạt động	đang hoạt động
Phiên bản ổn định gần nhất	2026-08-19 19:09:54 UTC · 40 ngày trước
Phiên bản ổn định trong 12 tháng qua	55
Số phiên bản đã phát hành	81

Ước lượng chỉ dựa trên ngày phát hành; không đo thời gian phản hồi issue hay sự cố bảo mật.

Đang hiển thị 20 phiên bản mới nhất trong tổng số 81. JSON

Phiên bản mới nhất của lean-lsp-mcp là gì?

Phiên bản ổn định mới nhất của lean-lsp-mcp là 0.30.0, phát hành ngày 2026-08-19. Vigia xác minh lúc 2026-09-28.

lean-lsp-mcp có bị ngừng hỗ trợ không?

Không. lean-lsp-mcp không bị đánh dấu ngừng hỗ trợ trong registry.

lean-lsp-mcp yêu cầu phiên bản Python nào?

lean-lsp-mcp 0.30.0 khai báo yêu cầu sau: python >=3.10.

lean-lsp-mcp 0.30.0 có lỗ hổng đã biết không?

Theo dữ liệu mà Vigia kiểm tra, không có cảnh báo bảo mật đã biết nào ảnh hưởng đến lean-lsp-mcp 0.30.0.

lean-lsp-mcp có còn được duy trì không?

lean-lsp-mcp đã phát hành 55 phiên bản ổn định trong 12 tháng qua; bản gần nhất cách đây 40 ngày. Mức hoạt động: đang hoạt động.

Chưa ghi nhận thay đổi nào kể từ khi Vigia bắt đầu theo dõi gói này.

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