Manifest
    by Manifold
    Back to Results
    0.0.240

    Lean 4

    Lean 4 language support for VS Code

    Programming Languages
    Rank#804
    Publisher leanproverRegistry openvsx134,696Last scanned Sep 18, 2026, 04:30 PMRegistryHomepageGitHub
    Created
    6 years ago
    Last commit
    2 weeks ago
    Latest release
    v0.0.2402 weeks ago

    Security Findings

    2

    File upload to external endpoint

    SuspiciousScanner

    File upload detected: (()=>{var e={5170:(e,t,i)=>{"use strict";i.r(t),i.d(t,{InteractiveDiagnostics_infoToInteractive:()=>f,InteractiveDiagnos...

    OWASP-AST01OWASP-AST03

    Transitive delivery to an unrelated extension

    SuspiciousScanner

    Pulls unrelated extension(s) via extensionPack/Dependencies (payload lives in the target): tamasfe.even-better-toml

    OWASP-AST02