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.

Does batch-tamarin have known vulnerabilities?

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

Is batch-tamarin deprecated?

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

What are alternatives to batch-tamarin?

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

What license does batch-tamarin use?

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

batch-tamarin

pypiv1.1.2

Python wrapper for Tamarin Prover with JSON configuration

License GPL-3.0-or-later12 versions17 deps

tamarin-prover/batch-tamarin

/ 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

none known

Health History

Dependency Tree

License Audit

Dependencies (17)

typer pydantic psutil tree-sitter py-tree-sitter-spthy diskcache jinja2 graphviz ruff pre-commit pre-commit-hooks pytest pytest-asyncio build twine setuptools wheel

API access

Get this data programmatically — free, no authentication.

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