PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp actief

Lean Theorem Prover MCP

De nieuwste stabiele versie van lean-lsp-mcp is 0.33.0, gepubliceerd op 2026-11-03. Geverifieerd door Vigia op 2026-11-13.

Onderhoud

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Versiegeschiedenis

De 20 meest recente van 84 versies worden getoond. JSON

Versiecompatibiliteit

Nieuwste stabiele versie die ondersteuning aangeeft voor elke runtimeversie (volgens de vereisten die met elke versie zijn gepubliceerd).

Geef je AI-agent deze feiten

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

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

Veelgestelde vragen

Waargenomen wijzigingen

• 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

Gerelateerde pakketten

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

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de 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)

Voor agents

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