Homepage

lemmascript

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS

< Back for full overview of lemmascript vulnerabilities

Package versions

33 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.6.125 Aug, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.6.08 Aug, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.228 Aug, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.218 Aug, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.205 Aug, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1927 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1819 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1716 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1611 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1511 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1410 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.138 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.126 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.116 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.106 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.95 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.81 Jul, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.716 Jun, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.613 Jun, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.58 Jun, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

Get started free