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

Эвристика, основанная только на датах публикации; не отражает скорость реакции на issues и проблемы безопасности.

История версий

Версия	Опубликована
`4.11.0`	2025-08-25 20:54:30 UTC
`4.10.0`	2025-02-06 15:15:26 UTC
`4.9.1`	2024-12-23 21:42:22 UTC
`4.9.0`	2024-10-31 17:43:30 UTC
`4.8.1.post1`	2024-10-04 16:21:35 UTC
`4.8.1`	2024-10-04 14:20:53 UTC
`4.8.0`	2024-09-05 22:16:25 UTC
`4.7.0`	2024-07-31 18:50:03 UTC
`4.6.0`	2024-03-28 22:40:24 UTC
`4.5.0`	2024-03-19 21:17:32 UTC
`4.4.0`	2024-01-24 21:14:43 UTC

Показаны 11 самых новых из 11 версий. JSON

Совместимость версий

Самая новая стабильная версия, заявляющая поддержку каждой версии среды выполнения (по требованиям, опубликованным с каждой версией).

Среда	Самая новая совместимая версия
`python 3.8`	`4.11.0`
`python 3.9`	`4.11.0`
`python 3.10`	`4.11.0`
`python 3.11`	`4.11.0`
`python 3.12`	`4.11.0`
`python 3.13`	`4.11.0`

Передайте эти данные своему ИИ-агенту

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 для pull request

Часто задаваемые вопросы

Какая последняя версия 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 не помечен как устаревший.

Какая версия Python нужна для DafnyRuntimePython?

DafnyRuntimePython 4.11.0 указывает такое требование: python >=3.8.

Есть ли у DafnyRuntimePython 4.11.0 известные уязвимости?

По данным, которые проверяет Vigia, известных уведомлений о безопасности для DafnyRuntimePython 4.11.0 нет.

Поддерживается ли DafnyRuntimePython?

За последние 12 месяцев DafnyRuntimePython выпустил 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}