Is alectryon safe to use?

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

What is the latest version of alectryon?

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

Does alectryon have known vulnerabilities?

No known vulnerabilities on the latest version of alectryon.

Is alectryon deprecated?

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

What are alternatives to alectryon?

Popular alternatives to alectryon in PyPI include: typing_extensions, cryptography, pygments, httpx, httpcore.

What license does alectryon use?

alectryon is licensed under MIT.

alectryon

pypiv2.0.0

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

License MITpermissive9 versions7 deps76 weekly dl

cpitclaudel/alectryon

/ 100

Health

use with caution

[email protected] low health (46/100) — consider alternatives

Moderate health score (46/100) — verify manually

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (7)

pygments dominate beautifulsoup4 docutils myst_parser sphinx sphinx

API access

Get this data programmatically — free, no authentication.

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