Publisher posture

lean4

high-risk activity observed

2Stored releases

2High-risk releases

0Review releases

0/0Average / max score

37d agoLast scanned

Release history

Stored package versions for this publisher

Package	Risk	Score	Scanned
@lean4/[email protected]	High risk	0	37d ago
@lean4/[email protected]	High risk	0	37d ago