Is acl2-bridge safe to use?

acl2-bridge has no known vulnerabilities on the latest version (1.0). DepScope rates its health at 30/100 (critical risk).

What is the latest version of acl2-bridge?

The latest version of acl2-bridge is 1.0, released 2022-08-11.

Does acl2-bridge have known vulnerabilities?

No known vulnerabilities on the latest version of acl2-bridge.

Is acl2-bridge deprecated?

No, acl2-bridge is actively maintained. Latest release: 1.0 (2022-08-11).

What are alternatives to acl2-bridge?

Popular alternatives to acl2-bridge in PyPI include: boto3, packaging, urllib3, idna, typing-extensions.

What license does acl2-bridge use?

acl2-bridge is licensed under bsd-3-clause.

acl2-bridge

pypiv1.0

Connect to an ACL2 Server from Python

License bsd-3-clausepermissive3 versions1 maintainers0 deps2 weekly dl

rubengamboa/acl2_bridge

/ 100

Health

use with caution

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

Low health score (30/100)

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

3/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/acl2-bridge