PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp aktiv

Lean Theorem Prover MCP

Die neueste stabile Version von lean-lsp-mcp ist 0.33.0, veröffentlicht am 2026-11-03. Von Vigia geprüft am 2026-11-14.

Pflege

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Versionsverlauf

Die 20 neuesten von 84 Versionen werden angezeigt. JSON

Versionskompatibilität

Neueste stabile Version, die Unterstützung für die jeweilige Laufzeitversion angibt (laut den mit jeder Version veröffentlichten Anforderungen).

Gib deinem KI-Agenten diese Fakten

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

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

Häufige Fragen

Beobachtete Änderungen

• 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

Verwandte Pakete

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

Badges für Ihre README

Zeigen Sie die neueste Version, den Pflegestatus und den Deprecation-Status dieses Pakets. Markdown kopieren:

[![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)

Für Agenten

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