PyPI · pypi:dafnyruntimepython

DafnyRuntimePython active

Dafny runtime for Python

The latest stable version of DafnyRuntimePython is 4.11.0, published on 2025-08-25. Verified by Vigia on 2026-11-13.

Latest stable version	4.11.0
Published	2025-08-25 20:54:30 UTC
Install	`pip install --upgrade DafnyRuntimePython`
Requires	`python >=3.8`
License	—
Advisories on latest version	none known
Last verified	2026-11-13 21:35:48 UTC
Sources	pypi.org

Ask your AI assistant to check this

AI models are trained up to a date, so they can be wrong about versions, deprecations and vulnerabilities. Paste this into Claude, ChatGPT, Perplexity or Cursor and it will answer with the verified data on this page:

Before answering about the pypi package "DafnyRuntimePython", check Vigia (verified, dated facts): https://vigia.coredls.cloud/v1/packages/pypi/DafnyRuntimePython . For my whole project use https://vigia.coredls.cloud/context

Check my whole package.json

Using an AI coding agent every day? Connect Vigia once and it checks this by itself.

Maintenance

Activity	slowing down
Last stable release	2025-08-25 20:54:30 UTC · 445 days ago
Stable releases in the last 12 months	0
Published versions	11

Heuristic based only on release dates; it does not measure issue or security response times.

Version history

Version	Published
`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

Showing the 11 most recent of 11 versions. JSON

Version compatibility

Newest stable version that declares support for each runtime version (from the requirements published with each version).

Runtime	Newest compatible version
`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`

Give your AI agent these facts

Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.

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

Add to Cursor Add to VS Code ★ Star on GitHub

Any other MCP client

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

Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests

Frequently asked questions

What is the latest version of DafnyRuntimePython?

The latest stable version of DafnyRuntimePython is 4.11.0, published on 2025-08-25. Verified by Vigia on 2026-11-13.

How do I install the latest version of DafnyRuntimePython?

Run pip install --upgrade DafnyRuntimePython. The latest stable version is 4.11.0 (verified 2026-11-13).

Is DafnyRuntimePython deprecated?

No. DafnyRuntimePython is not marked as deprecated in the registry.

Which Python version does DafnyRuntimePython require?

DafnyRuntimePython 4.11.0 declares this requirement: python >=3.8.

Does DafnyRuntimePython 4.11.0 have known vulnerabilities?

No known advisories affect DafnyRuntimePython 4.11.0 according to the data Vigia checks.

Is DafnyRuntimePython still maintained?

DafnyRuntimePython published 0 stable releases in the last 12 months; the most recent was 445 days ago. Activity: slowing down.

Observed changes

No changes observed yet since Vigia started tracking this package.

Related packages

Badges for your README

Show the latest version, maintenance status and deprecation status of this package. Copy the 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)

For agents

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