PkgRadar

Package evidence

@lean4/[email protected]

New Account With Lifecycle Hook: package first published 0 day(s) ago, 2 total version(s), has lifecycle hook

Trust signals

Why this verdict

PkgRadar discounts a release’s score when public reputation argues against novel malware. The verdict above already reflects these — the panel just explains what was applied.

Versions published
2
First published
Jun 2026
Publisher
lean4

Recommended action

Block this update

Static evidence trips multiple high-signal indicators. Quarantine the release until the publisher validates the change or you can rule out the indicators below.

Inspect tarballAdd to CI gate
Block this release in CIcurl · GitHub Actions

Fail the build when this package version is added or upgraded. Replace $PKGRADAR_TOKEN with a Pro / Team API key from your dashboard.

curl -fsS https://pkgradar.com/gate/npm \
  -H "Authorization: Bearer $PKGRADAR_TOKEN" \
  -H "Content-Type: application/json" \
  -d '{"specs":["@lean4/[email protected]"],"fail_on":"high"}'

GitHub Actions step:

- name: PkgRadar gate
  run: |
    curl -fsS https://pkgradar.com/gate/npm \
      -H "Authorization: Bearer ${{ secrets.PKGRADAR_TOKEN }}" \
      -H "Content-Type: application/json" \
      -d '{"specs":["@lean4/[email protected]"],"fail_on":"high"}'
Publisherlean4
Artifact bytes543,793
Previous version1.7.17
Published2026-06-12T03:43:50.991Z
SHA-25636be2a2c6a9e5dccb3636fe1720ea815a4cdc3eb5859b7f6fe0b7fd37dc34efa

Why flagged

What the scanner saw

New Account With Lifecycle Hook: package first published 0 day(s) ago, 2 total version(s), has lifecycle hook

Not observed: package install, lifecycle script execution, or sandbox execution. PkgRadar only inspects on-disk artifacts.

Availability ledger

available

high
Last checked
highRisk
5Score
1.7.18Version
Status history (1 event)
  1. new → available · risk high · score 5 · status changed

Evidence

Static findings

2 static · 0 from release diff · showing high-signal first.

SeverityKindPathDetailPoints
highNew Account With Lifecycle Hookpackage.jsonpackage first published 0 day(s) ago, 2 total version(s), has lifecycle hook25
Show all 2 findings (low-signal and informational)
SeverityKindPathDetailPoints
highNew Account With Lifecycle Hookpackage.jsonpackage first published 0 day(s) ago, 2 total version(s), has lifecycle hook25
lowInstall-time lifecycle scriptpackage.jsonpostinstall="node bin/postinstall.js"5

Manifest

Package metadata

Scripts7
  • buildvite build
  • devvite dev
  • postinstallnode bin/postinstall.js
  • startcbc-web start
  • statuscbc-web status
  • testnode --check server.js && node --check bin/cbc-web.js && node --check bin/postinstall.js && node --check hooks/session-start.cjs
  • test:phantomnode tests/phantom-terminal.test.js
Dependencies6
  • express^4.18.3
  • socket.io^4.8.3
  • socket.io-client^4.8.3
  • xterm^5.3.0
  • xterm-addon-canvas^0.5.0
  • xterm-addon-fit^0.8.0
Optional dependencies1
  • node-pty^1.1.0