Is temporal_logic_mtl safe to use?

temporal_logic_mtl has no known vulnerabilities on the latest version (0.3.0). DepScope rates its health at 55/100 (high risk).

What is the latest version of temporal_logic_mtl?

The latest version of temporal_logic_mtl is 0.3.0, released 2026-04-02.

No known vulnerabilities on the latest version of temporal_logic_mtl.

No, temporal_logic_mtl is actively maintained. Latest release: 0.3.0 (2026-04-02).

DepScope has no curated alternatives for temporal_logic_mtl at this time.

temporal_logic_mtl is licensed under MIT.

pubv0.3.0

Metric Temporal Logic (MTL) extensions for temporal_logic_core.

License MITpermissive3 versions1 maintainers2 deps23 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

25/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

none known

Dependencies (2)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pub/temporal_logic_mtl

Last updated · 2026-04-02T02:28:24.160206Z