Is batch-tamarin safe to use?

batch-tamarin has no known vulnerabilities on the latest version (1.1.2). DepScope rates its health at 54/100 (high risk).

What is the latest version of batch-tamarin?

The latest version of batch-tamarin is 1.1.2, released 2026-02-13.

No known vulnerabilities on the latest version of batch-tamarin.

No, batch-tamarin is actively maintained. Latest release: 1.1.2 (2026-02-13).

Popular alternatives to batch-tamarin in PyPI include: boto3, packaging, certifi, urllib3, idna.

batch-tamarin is licensed under GPL-3.0-or-later.

pypiv1.1.2

Python wrapper for Tamarin Prover with JSON configuration

License GPL-3.0-or-later12 versions17 deps2 weekly dl

54

/ 100

Health

safe to use

[email protected] is safe to use (health: 54/100)

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

0/15

community

Vulnerabilities

0

none known

Dependencies (17)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/batch-tamarin