Is isabelle-client safe to use?

isabelle-client has no known vulnerabilities on the latest version (1.0.1). DepScope rates its health at 57/100 (high risk).

What is the latest version of isabelle-client?

The latest version of isabelle-client is 1.0.1, released 2025-12-14.

Does isabelle-client have known vulnerabilities?

No known vulnerabilities on the latest version of isabelle-client.

Is isabelle-client deprecated?

No, isabelle-client is actively maintained. Latest release: 1.0.1 (2025-12-14).

What are alternatives to isabelle-client?

DepScope has no curated alternatives for isabelle-client at this time.

What license does isabelle-client use?

isabelle-client is licensed under Apache-2.0.

isabelle-client

condav1.0.1

A client for Isabelle server (https://isabelle.in.tum.de)

License Apache-2.0permissive33 versions1 maintainers0 deps234 weekly dl

inpefess/isabelle-client

/ 100

Health

safe to use

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

Health breakdown0 – 100

15/25

maintenance

3/20

popularity

25/25

security

12/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/conda/isabelle-client

First published · 2022-02-11 06:44:36.894000+00:00

Last updated · 2025-12-14 15:00:07.528000+00:00