mathlib-style
Pass
Audited by Gen Agent Trust Hub on Mar 13, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill consists entirely of markdown documentation and style guidelines for the Lean 4 mathlib library.
- [SAFE]: All external references and links target the official leanprover-community documentation site, which is a trusted resource for the Lean programming language.
- [SAFE]: No automation scripts, dependencies, or network operations are defined within the skill; the mentioned shell commands (such as bibtool) are provided as references for manual user execution only.
Audit Metadata