Is anita safe to use?

anita has no known vulnerabilities on the latest version (0.1.13). DepScope rates its health at 36/100 (critical risk).

What is the latest version of anita?

The latest version of anita is 0.1.13, released 2023-10-30.

Does anita have known vulnerabilities?

No known vulnerabilities on the latest version of anita.

No, anita is actively maintained. Latest release: 0.1.13 (2023-10-30).

What are alternatives to anita?

Popular alternatives to anita in PyPI include: boto3, packaging, urllib3, idna, requests.

anita

pypiv0.1.13

ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA allows students to write their proofs and automatically checks whether the proofs are correct and, if not, displays any errors found.

License MITpermissive12 versions1 maintainers0 deps1 weekly dl

daviromero/anita

/ 100

Health

use with caution

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

Moderate health score (36/100) — verify manually

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/anita