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 に確認しました。

メンテナンス

公開日のみに基づく推定です。Issue やセキュリティ問題への対応時間は反映していません。

バージョン履歴

全 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

関連パッケージ

• reporters-db
• pyth3
• leanclient
• textual-serve
• pandas-flavor
• openinference-instrumentation-claude-agent-sdk
• vispy
• hsluv
• avro-gen
• jsons
• onecache
• 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}