lean-ctx.exe: which program is it?
lean-ctx.exe is a program file of lean-ctx. It is installed together with the program and is how it is started from the command line.
| App | Publisher | Latest version | Default install folder |
|---|---|---|---|
| lean-ctx | — | 3.11.4 | — |
Frequently asked questions
Is lean-ctx.exe safe?
lean-ctx.exe is a normal part of lean-ctx when it sits in the program's install folder and carries the publisher's digital signature. A file with the same name in another folder can be something else: check its signature and hash.
Where is lean-ctx.exe located?
In the program's install folder, which the installer chooses; winget puts portable programs under %LOCALAPPDATA%\Microsoft\WinGet\Packages.
How do I remove lean-ctx.exe?
Uninstall lean-ctx through Settings → Apps or with winget; the uninstaller removes lean-ctx.exe with it. Deleting the file alone leaves the rest of the program behind.