Vigia

PyPI · pypi:dafnyruntimepython

DafnyRuntimePython 有効

Dafny runtime for Python

DafnyRuntimePython の最新の安定版は 4.11.0 で、2025-08-25 に公開されました。Vigia が 2026-11-14 に確認しました。

最新の安定版4.11.0
公開日2025-08-25 20:54:30 UTC
インストールpip install --upgrade DafnyRuntimePython
要件python >=3.8
ライセンス—
最新バージョンのセキュリティ勧告既知のものなし
最終確認2026-11-14 09:35:52 UTC
出典pypi.org

メンテナンス

活動状況鈍化
最新の安定版2025-08-25 20:54:30 UTC · 445 日前
直近 12 か月の安定版リリース数0
公開済みバージョン数11

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

バージョン履歴

バージョン公開日
4.11.02025-08-25 20:54:30 UTC
4.10.02025-02-06 15:15:26 UTC
4.9.12024-12-23 21:42:22 UTC
4.9.02024-10-31 17:43:30 UTC
4.8.1.post12024-10-04 16:21:35 UTC
4.8.12024-10-04 14:20:53 UTC
4.8.02024-09-05 22:16:25 UTC
4.7.02024-07-31 18:50:03 UTC
4.6.02024-03-28 22:40:24 UTC
4.5.02024-03-19 21:17:32 UTC
4.4.02024-01-24 21:14:43 UTC

全 11 バージョンのうち、新しい順に 11 件を表示しています。 JSON

バージョン互換性

各ランタイムバージョンのサポートを宣言している最新の安定版（各バージョンで公開された要件に基づく）。

ランタイム互換性のある最新バージョン
python 3.84.11.0
python 3.94.11.0
python 3.104.11.0
python 3.114.11.0
python 3.124.11.0
python 3.134.11.0

このデータを AI エージェントに渡す

Vigia は無料の MCP サーバーです。コーディングエージェントがコードを書く前に、バージョン・破壊的変更・脆弱性を確認できます。登録も API キーも不要です。

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

Cursor に追加VS Code に追加★ GitHub でスターを付ける

その他の MCP クライアント
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

エージェント用スキル (SKILL.md)：Vigia を使うタイミングをエージェントに伝えます · プルリクエスト用 GitHub Action

よくある質問

DafnyRuntimePython の最新バージョンは？

DafnyRuntimePython の最新の安定版は 4.11.0 で、2025-08-25 に公開されました。Vigia が 2026-11-14 に確認しました。

DafnyRuntimePython の最新バージョンをインストールするには？

pip install --upgrade DafnyRuntimePython を実行します。最新の安定版は 4.11.0 です（2026-11-14 に確認）。

DafnyRuntimePython は非推奨ですか？

いいえ。DafnyRuntimePython はレジストリで非推奨とはされていません。

DafnyRuntimePython に必要な Python のバージョンは？

DafnyRuntimePython 4.11.0 は次の要件を宣言しています：python >=3.8。

DafnyRuntimePython 4.11.0 に既知の脆弱性はありますか？

Vigia が確認しているデータでは、DafnyRuntimePython 4.11.0 に影響する既知のセキュリティ勧告はありません。

DafnyRuntimePython は今もメンテナンスされていますか？

DafnyRuntimePython は直近 12 か月で 0 件の安定版を公開しました。最新の公開は 445 日前です。活動状況：鈍化。

確認された変更

Vigia がこのパッケージの追跡を始めてから、まだ変更は確認されていません。

関連パッケージ

README 用バッジ

このパッケージの最新バージョン、メンテナンス状況、非推奨かどうかを表示できます。Markdown をコピーしてください：

[![version](https://vigia.coredls.cloud/badge/pypi/dafnyruntimepython/version.svg)](https://vigia.coredls.cloud/pypi/dafnyruntimepython)
[![maintained](https://vigia.coredls.cloud/badge/pypi/dafnyruntimepython/maintained.svg)](https://vigia.coredls.cloud/pypi/dafnyruntimepython)
[![status](https://vigia.coredls.cloud/badge/pypi/dafnyruntimepython/status.svg)](https://vigia.coredls.cloud/pypi/dafnyruntimepython)

エージェント向け

GET https://vigia.coredls.cloud/v1/packages/pypi/dafnyruntimepython
GET https://vigia.coredls.cloud/v1/packages/pypi/dafnyruntimepython/versions/{version}