Is itf-py safe to use?

itf-py has no known vulnerabilities on the latest version (0.5.0). DepScope rates its health at 56/100 (high risk).

What is the latest version of itf-py?

The latest version of itf-py is 0.5.0, released 2026-02-17.

Does itf-py have known vulnerabilities?

No known vulnerabilities on the latest version of itf-py.

Is itf-py deprecated?

No, itf-py is actively maintained. Latest release: 0.5.0 (2026-02-17).

What are alternatives to itf-py?

Popular alternatives to itf-py in PyPI include: boto3, packaging, certifi, urllib3, idna.

What license does itf-py use?

License information for itf-py is not declared in the registry metadata.

itf-py

pypiv0.5.0

Python library to parse and emit Apalache/Quint traces in ITF JSON

11 versions1 maintainers1 deps

konnov/itf-py

/ 100

Health

use with caution

[email protected] low health (56/100) — consider alternatives

Moderate health score (56/100) — verify manually

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (1)

frozendict

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/itf-py