A vulnerability, which was classified as problematic, has been found in leanprover vscode-lean4 up to 0.1.x. Affected by this vulnerability is an unknown functionality. The manipulation leads to basic cross site scripting.
This vulnerability is referenced as CVE-2026-32732. Remote exploitation of the attack is possible. No exploit is available.
It is advisable to upgrade the affected component.
