Is autoformalism-with-llms safe to use?

autoformalism-with-llms has no known vulnerabilities on the latest version (0.0.1). DepScope rates its health at 0/100 (unknown risk).

What is the latest version of autoformalism-with-llms?

The latest version of autoformalism-with-llms is 0.0.1, released 2024-04-23.

Does autoformalism-with-llms have known vulnerabilities?

No known vulnerabilities on the latest version of autoformalism-with-llms.

Is autoformalism-with-llms deprecated?

No, autoformalism-with-llms is actively maintained. Latest release: 0.0.1 (2024-04-23).

What are alternatives to autoformalism-with-llms?

Popular alternatives to autoformalism-with-llms in PyPI include: boto3, packaging, urllib3, certifi, idna.

What license does autoformalism-with-llms use?

License information for autoformalism-with-llms is not declared in the registry metadata.

autoformalism-with-llms

pypiv0.0.1

1 versions8 deps13 weekly dl

unknown/autoformalism-with-llms

/ 100

Health

insufficient data

autoformalism-with-llms has limited data (2/6 signals) — verify manually before use

Limited information available for this package
Moderate health score (31/100) — verify manually

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (8)

gitpython nltk openai pydantic-settings python-dotenv requests tqdm tyro

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/autoformalism-with-llms