pypi · pypi:lean-lsp-mcp
lean-lsp-mcp 활성
Lean Theorem Prover MCP
| 최신 안정 버전 | 0.30.0 |
|---|---|
| 배포일 | 2026-08-19 19:09:54 UTC |
| 요구 사항 | python >=3.10 |
| 라이선스 | MIT |
| 최신 버전의 보안 권고 | 알려진 항목 없음 |
| 마지막 확인 | 2026-09-28 14:57:40 UTC |
| 출처 | pypi.org |
확인된 변경 사항
Vigia가 이 패키지를 추적하기 시작한 이후 아직 변경 사항이 확인되지 않았습니다.
에이전트용
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp