library-advisor

The skill content aligns with its stated purpose of advising on Isabelle/HOL and Coq standard libraries and lemmas. There are no dangerous download/install patterns, no credential handling, and data flow is limited to analysis of user-provided goals and library references. Overall risk is low to moderate (benign suspicion minimal), with no evidence of exfiltration or malicious behavior.