Is cornelis safe to use?

cornelis has no known vulnerabilities on the latest version (2.8.0). DepScope rates its health at 58/100 (high risk).

What is the latest version of cornelis?

The latest version of cornelis is 2.8.0, released 2026-02-10.

No known vulnerabilities on the latest version of cornelis.

No, cornelis is actively maintained. Latest release: 2.8.0 (2026-02-10).

DepScope has no curated alternatives for cornelis at this time.

cornelis is licensed under BSD-3-Clause.

homebrewv2.8.0

Neovim support for Agda

License BSD-3-Clausepermissive1 versions1 maintainers4 deps

/ 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/cornelis

Last updated · 2026-02-10T07:03:51Z