loogle-search
Pass
Audited by Gen Agent Trust Hub on Jun 22, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill documents the use of standard local development tools, specifically the Loogle CLI and the Lean 4 build system (lake).
- [SAFE]: No evidence of prompt injection, data exfiltration, or malicious obfuscation was found in the documentation or examples.
- [SAFE]: The operations described, such as building projects and running local servers, are consistent with the skill's stated purpose of assisting with mathematical proof development.
Audit Metadata