loogle-search
Pass
Audited by Gen Agent Trust Hub on Feb 17, 2026
Risk Level: SAFE
Full Analysis
- COMMAND_EXECUTION (SAFE): The skill utilizes shell commands (
loogle-search,loogle-server) to interact with a local theorem search engine. These commands are consistent with the skill's stated purpose of searching mathematical lemmas. - NO_CODE (SAFE): No executable code (Python, JavaScript, or shell scripts) is included within the skill itself; it relies on a pre-installed local environment.
- PROMPT_INJECTION (SAFE): No instruction override patterns or safety bypass attempts were detected in the skill metadata or body.
Audit Metadata