Publisher posture

lean4

high-risk activity observed

2Stored releases

2High-risk releases

0Review releases

5/5Average / max score

6h agoLast scanned

Release history

Stored package versions for this publisher

Package	Risk	Score	Scanned
@lean4/[email protected]	High risk	5	6h ago
@lean4/[email protected]	High risk	5	6h ago