Is lean4-jupyter safe to use?

lean4-jupyter has no known vulnerabilities on the latest version (0.0.2). DepScope rates its health at 36/100 (critical risk).

What is the latest version of lean4-jupyter?

The latest version of lean4-jupyter is 0.0.2, released 2024-11-12.

Does lean4-jupyter have known vulnerabilities?

No known vulnerabilities on the latest version of lean4-jupyter.

Is lean4-jupyter deprecated?

No, lean4-jupyter is actively maintained. Latest release: 0.0.2 (2024-11-12).

What are alternatives to lean4-jupyter?

Popular alternatives to lean4-jupyter in PyPI include: boto3, litellm, jsonschema, wheel, starlette.

What license does lean4-jupyter use?

lean4-jupyter is licensed under MIT.

lean4-jupyter

pypiv0.0.2

lean4_jupyter: A Lean 4 Jupyter kernel via REPL

License MITpermissive6 versions7 deps7 weekly dl

utensil/lean4_jupyter

/ 100

Health

use with caution

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

Moderate health score (36/100) — verify manually

Health breakdown0 – 100

5/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (7)

pexpect ipykernel alectryon flake8;pytest;nbval;papermill;

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/lean4-jupyter