lean4-prover
Pass
Audited by Gen Agent Trust Hub on Apr 6, 2026
Risk Level: SAFEEXTERNAL_DOWNLOADSREMOTE_CODE_EXECUTIONCOMMAND_EXECUTION
Full Analysis
- [EXTERNAL_DOWNLOADS]: Fetches the official elan installer from elan.lean-lang.org and references the mathlib4 repository from the official leanprover-community GitHub organization.
- [REMOTE_CODE_EXECUTION]: Provides instructions to execute the official Lean version manager installer directly in the shell using curl piped to sh.
- [COMMAND_EXECUTION]: Employs standard Lean 4 toolchain commands such as lake for build orchestration and lean for formal verification tasks.
Audit Metadata