PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp aktywny

Lean Theorem Prover MCP

Najnowsza stabilna wersja lean-lsp-mcp to 0.33.0, opublikowana 2026-11-03. Zweryfikowano przez Vigia 2026-11-13.

Utrzymanie

Heurystyka oparta wyłącznie na datach publikacji; nie mierzy czasu reakcji na zgłoszenia ani problemy bezpieczeństwa.

Historia wersji

Wyświetlono 20 najnowszych z 84 wersji. JSON

Zgodność wersji

Najnowsza stabilna wersja deklarująca obsługę danej wersji środowiska (według wymagań publikowanych z każdą wersją).

Przekaż te dane swojemu agentowi AI

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

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

Najczęściej zadawane pytania

Zaobserwowane zmiany

• 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

Powiązane pakiety

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

Odznaki do README

Pokaż najnowszą wersję, stan utrzymania i informację o wycofaniu tego pakietu. Skopiuj 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)

Dla agentów

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