The Agent Skills Directory

[EXTERNAL_DOWNLOADS]: The skill includes maintenance scripts (scripts/discover_pages.py and scripts/scrape_docs.py) that perform network operations to fetch documentation from mypy.readthedocs.io. This is a well-known and trusted source for technical documentation.
[COMMAND_EXECUTION]: The skill's instructions and reference files provide standard shell commands for installing the mypy package and executing type checks on source code. These operations are the primary and intended purpose of the skill and follow security best practices for local development tools.

mypy