Is elan-init safe to use?

elan-init has no known vulnerabilities on the latest version (4.2.1). DepScope rates its health at 58/100 (high risk).

What is the latest version of elan-init?

The latest version of elan-init is 4.2.1, released 2026-03-18.

No known vulnerabilities on the latest version of elan-init.

No, elan-init is actively maintained. Latest release: 4.2.1 (2026-03-18).

DepScope has no curated alternatives for elan-init at this time.

elan-init is licensed under Apache-2.0 OR MIT.

homebrewv4.2.1

Lean Theorem Prover installer and version manager

License Apache-2.0 OR MITpermissive1 versions1 maintainers4 deps34 weekly dl

/ 100

Health

safe to use

[email protected] is safe to use (health: 58/100)

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

4/15

community

Vulnerabilities

none known

Dependencies (4)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/elan-init

Last updated · 2026-03-18T14:48:22Z