mathlib-contributing

The skill/documentation is a benign developer contribution guide with no sensitive data handling, no credential usage beyond standard references to GitHub/Zulip, and no network operations that would cause data to be sent to untrusted endpoints. Its footprint aligns with a documentation/framework guide rather than any executable or credential-harvesting functionality. Overall risk is low (benign) with no evident security threats or malicious patterns.