mathlib-contributing
Pass
Audited by Gen Agent Trust Hub on Mar 8, 2026
Risk Level: SAFECOMMAND_EXECUTIONEXTERNAL_DOWNLOADS
Full Analysis
- [SAFE]: No malicious patterns, prompt injection attempts, or data exfiltration vectors were identified in the skill. The instructions are consistent with established open-source contribution practices.
- [COMMAND_EXECUTION]: The skill contains instructions for using standard version control tools, specifically git and the GitHub CLI (gh), for tasks such as repository forking, cloning, and pull request management. These are legitimate operations for the skill's stated purpose.
- [EXTERNAL_DOWNLOADS]: The skill references documentation and community platforms hosted on domains like leanprover-community.github.io and zulipchat.com. These are official and trusted resources within the Lean Prover community.
Audit Metadata