MAL-2025-157432 Malicious code in kapai-afoamaa-agda (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector 1fc70c28cb25a3863bd034aa53db984fe8acacec1c611bcb4de893a67b6ebeb1 This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...

Malicious code in kapai-afaa-agda (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector ccb6cc9ada5184f23d30fcc4319b375c96ac559c68040cb47e45c6e9c9e84f70 This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...

Malicious code in kapai-afoamaa-agda (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector 1fc70c28cb25a3863bd034aa53db984fe8acacec1c611bcb4de893a67b6ebeb1 This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...

Malicious code in kapai-safoaamaa-agda (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector 3f60957ad638c752b76672b549a2e92f9e4cdb0b427279e99bb8d9a0094bf8ea This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...

Malicious code in kapai-safoamaa-agda (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector c58a244b78922e48428d880c2e1bac3637ff92ae78e7bf30339096b8afd44ebf This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...

MAL-2025-157425 Malicious code in kapai-afaa-agda (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector ccb6cc9ada5184f23d30fcc4319b375c96ac559c68040cb47e45c6e9c9e84f70 This package appears to be part of the tea.xyz token reward campaign that flooded npm. These packages typically contain autopublish scripts auto.js,...

Policy As Code, Policy As Type

Policies are designed to distinguish between correct and incorrect actions; they are types. But badly typed actions may cause not compile errors, but financial and reputational harm We demonstrate how even the most complex ABAC policies can be expressed as types in dependently typed languages suc...