PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp 활성

Lean Theorem Prover MCP

lean-lsp-mcp의 최신 안정 버전은 0.33.0이며 2026-11-03에 배포되었습니다. Vigia가 2026-11-14에 확인했습니다.

유지 관리

배포일만을 기준으로 한 추정치이며, 이슈나 보안 문제에 대한 대응 시간은 반영하지 않습니다.

버전 기록

전체 84개 버전 중 최신 20개를 표시합니다. JSON

버전 호환성

각 런타임 버전 지원을 선언한 가장 최신 안정 버전 (각 버전과 함께 공개된 요구 사항 기준).

이 데이터를 AI 에이전트에 제공하세요

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

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

자주 묻는 질문

확인된 변경 사항

• 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

관련 패키지

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

README용 배지

이 패키지의 최신 버전, 유지 관리 상태, 지원 중단 여부를 표시하세요. 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)

에이전트용

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