Is copilot-theorem safe to use?

copilot-theorem has no known vulnerabilities on the latest version (4.7). DepScope rates its health at 59/100 (high risk).

What is the latest version of copilot-theorem?

The latest version of copilot-theorem is 4.7, released 2026-03-08.

No known vulnerabilities on the latest version of copilot-theorem.

No, copilot-theorem is actively maintained. Latest release: 4.7 (2026-03-08).

DepScope has no curated alternatives for copilot-theorem at this time.

copilot-theorem is licensed under BSD-3-Clause.

hackagev4.7

k-induction for Copilot.

License BSD-3-Clausepermissive37 versions1 maintainers0 deps

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/copilot-theorem

Last updated · 2026-03-08T19:53:23.515308342Z