Is alectryon safe to use?

alectryon has no known vulnerabilities on the latest version (2.0.0). DepScope rates its health at 59/100 (high risk).

What is the latest version of alectryon?

The latest version of alectryon is 2.0.0, released 2026-04-06.

No known vulnerabilities on the latest version of alectryon.

No, alectryon is actively maintained. Latest release: 2.0.0 (2026-04-06).

Popular alternatives to alectryon in PyPI include: packaging, certifi, charset-normalizer, charset_normalizer, cryptography.

alectryon is licensed under MIT.

pypiv2.0.0

A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.

License MITpermissive9 versions7 deps555 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

25/25

maintenance

3/20

popularity

25/25

security

6/15

maturity

0/15

community

Vulnerabilities

none known

Dependencies (7)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/alectryon