Is tla_connect safe to use?

tla_connect has no known vulnerabilities on the latest version (0.1.0). DepScope rates its health at 47/100 (high risk).

What is the latest version of tla_connect?

The latest version of tla_connect is 0.1.0, released 2026-03-07.

No known vulnerabilities on the latest version of tla_connect.

No, tla_connect is actively maintained. Latest release: 0.1.0 (2026-03-07).

DepScope has no curated alternatives for tla_connect at this time.

tla_connect is licensed under MIT.

hexv0.1.0

Model-based testing with Apalache TLA+ model checker for Elixir.

License MITpermissive1 versions1 maintainers0 deps1 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

0/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hex/tla_connect

First published · 2026-03-07T16:35:39.105948Z

Last updated · 2026-03-07T16:35:39.111302Z