depscope
Packages
IntegrateAPI DocsCuratorBenchmarkCoverage
Sign inGet API access
depscope/hackage/sbv

sbv

hackagev14.0

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

License BSD-3-Clausepermissive137 versions1 maintainers0 deps
http://github.com/LeventErkok/sbv
67
/ 100
Health
safe to use

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

Health breakdown0 – 100
25/25
maintenance
0/20
popularity
25/25
security
15/15
maturity
2/15
community
Vulnerabilities
0
none known
Maintainer trust
Active maintainers (3m)
1
Contributors (12m)
0
Primary author dominance
0%
GitHub stars
267
single active maintainer 3m

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2026-04-01T20:18:40.927721862Z

DepScope

Package intelligence for AI agents. 19 ecosystems.

Resources
API DocumentationHallucination BenchmarkFor EnterpriseSwagger / OpenAPIPopular PackagesCoverageAI Plugin SetupWatch the pitch (60s)
Legal
Legal hubPrivacy PolicyTerms of ServiceCookie PolicyAcceptable UseAttributionDPASub-processorsSecurityImprintContact中文
© 2026 Cuttalo srl — Italy · VAT IT03242390734Built for AI agents