@informalsystems/quint

v0.32.0npm· JavaScript

Core tool for the Quint specification language

The verdict

Maintained. Maintained, actively maintained. Catch: pulls in 22 runtime dependencies.

Catch: pulls in 22 runtime dependencies.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsHeavy

Maintenance

Last published 2 months ago.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

Apache 2.0

Dependencies

22 direct dependencies

Recent releases