WebMagic是一個基于Java的開源網絡爬蟲框架，它可以幫助開發者快速、靈活地構建網絡爬蟲程序。在實際應用中，有時候需要使用代理服務器來爬取網頁，以避免被網站封禁或請求頻率限制。

下面是使用WebMagic與代理服務器進行配置的步驟：

1. 添加WebMagic依賴：首先需要在項目的pom.xml文件中添加WebMagic的依賴，可以通過以下代碼添加：

<dependency>
    <groupId>us.codecraft</groupId>
    <artifactId>webmagic-core</artifactId>
    <version>0.8.0</version>
</dependency>

2. 配置代理服務器：在WebMagic中，可以通過實現HttpClientDownloader類來配置代理服務器。可以使用如下代碼配置代理服務器：

HttpClientDownloader downloader = new HttpClientDownloader();
HttpHost proxy = new HttpHost("代理服務器IP", 代理服務器端口);
HttpHost auth = new HttpHost("代理用戶名", "代理密碼");
DefaultProxyProvider proxyProvider = new DefaultProxyProvider(proxy, auth);
downloader.setProxyProvider(proxyProvider);

Spider.create(new MyPageProcessor())
    .setDownloader(downloader)
    .addUrl("要爬取的網頁URL")
    .run();

3. 編寫爬蟲程序：根據自己的需求編寫爬蟲程序，可以實現PageProcessor接口來定義頁面的解析規則和邏輯。

4. 運行爬蟲程序：運行編寫好的爬蟲程序，WebMagic會根據配置的代理服務器來請求網頁數據。

通過以上步驟，就可以使用WebMagic與代理服務器進行配置，并實現爬取網頁數據的功能。在實際應用中，可以根據自己的需求來配置代理服務器，以提高爬取效率和穩定性。