Is sbvPlugin safe to use?

sbvPlugin has no known vulnerabilities on the latest version (9.14.1). DepScope rates its health at 48/100 (high risk).

What is the latest version of sbvPlugin?

The latest version of sbvPlugin is 9.14.1, released 2026-01-12.

No known vulnerabilities on the latest version of sbvPlugin.

No, sbvPlugin is actively maintained. Latest release: 9.14.1 (2026-01-12).

DepScope has no curated alternatives for sbvPlugin at this time.

sbvPlugin is licensed under BSD-3-Clause.

hackagev9.14.1

Formally prove properties of Haskell programs using SBV/SMT

License BSD-3-Clausepermissive9 versions1 maintainers0 deps

/ 100

Health

safe to use

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

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/sbvPlugin

Last updated · 2026-01-12T18:35:26.591821335Z