mathlib-workflow
Pass
Audited by Gen Agent Trust Hub on Mar 13, 2026
Risk Level: SAFEEXTERNAL_DOWNLOADSCOMMAND_EXECUTION
Full Analysis
- [EXTERNAL_DOWNLOADS]: Fetches repository data and precompiled binaries from the official Lean community GitHub organization and associated well-known services.\n- [COMMAND_EXECUTION]: Instructs the user on the use of standard development tools such as Git, the GitHub CLI, and Lake for contribution tasks.\n- [SAFE]: Includes explicit security warnings regarding the potential risks of executing unreviewed code from external pull requests.
Audit Metadata