Is @ndim/lezer-lean safe to use?

@ndim/lezer-lean has no known vulnerabilities on the latest version (0.1.0). DepScope rates its health at 52/100 (high risk).

What is the latest version of @ndim/lezer-lean?

The latest version of @ndim/lezer-lean is 0.1.0, released 2026-07-06.

Does @ndim/lezer-lean have known vulnerabilities?

No known vulnerabilities on the latest version of @ndim/lezer-lean.

Is @ndim/lezer-lean deprecated?

No, @ndim/lezer-lean is actively maintained. Latest release: 0.1.0 (2026-07-06).

What are alternatives to @ndim/lezer-lean?

Popular alternatives to @ndim/lezer-lean in npm include: ?, semver, ansi-styles, brace-expansion, lru-cache.

What license does @ndim/lezer-lean use?

@ndim/lezer-lean is licensed under MIT.

@ndim/lezer-lean

npmv0.1.0

Lezer grammar for the Lean4 language

License MITpermissive1 versions1 maintainers3 deps

nDimensional/codemirror-lang-lean

/ 100

Health

use with caution

@ndim/[email protected] low health (52/100) — consider alternatives

Moderate health score (52/100) — verify manually

Health breakdown0 – 100

25/25

maintenance

0/20

popularity

25/25

security

0/15

maturity

2/15

community

Vulnerabilities

none known

Bundle & TypeScript

🌟

TypeScript

10/10typed

bundled

Health History

Dependency Tree

License Audit

Dependencies (3)

@lezer/common @lezer/highlight @lezer/lr

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/npm/@ndim/lezer-lean

@ndim/lezer-lean

npmv0.1.0

Lezer grammar for the Lean4 language

License MITpermissive1 versions1 maintainers3 deps

nDimensional/codemirror-lang-lean

/ 100

Health

use with caution

@ndim/[email protected] low health (52/100) — consider alternatives

Moderate health score (52/100) — verify manually

Health breakdown0 – 100

25/25

maintenance

0/20

popularity

25/25

security

0/15

maturity

2/15

community

Vulnerabilities

none known

Bundle & TypeScript

🌟

TypeScript

10/10typed

bundled

Health History

Dependency Tree

License Audit

Dependencies (3)

@lezer/common @lezer/highlight @lezer/lr

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/npm/@ndim/lezer-lean