npm · registry.npmjs.org

lemmafit

Install-time lifecycle script: postinstall="node ./cli/sync.js && node ./cli/download-dafny2js.js && node ./lib/download-dafny.js && node ./cli/check-claimcheck.js"

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`0.3.4`	Review	5	2026-06-02
`0.3.5`	Review	5	2026-06-02

Block this in CI

PkgRadar gates lemmafit (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem npm [email protected]

Start free — 25 scans / mo View full evidence